mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #2435 from smanilov/patch-19 

Add opaque type attributes
This commit is contained in:
Tshepang Mbambo 2025-06-02 11:55:19 +02:00 committed by GitHub
parent 4bfb215935 f267718a78
commit 08e9bce01c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/opaque-types-impl-trait-inference.md
View File

@ -13,13 +13,16 @@ it can work across functions and function bodies.
To help explain how it works, let's consider an example. To help explain how it works, let's consider an example.
```rust ```rust
#![feature(type_alias_impl_trait)]
mod m { mod m {
pub type Seq<T> = impl IntoIterator<Item = T>; pub type Seq<T> = impl IntoIterator<Item = T>;
#[define_opaque(Seq)]
pub fn produce_singleton<T>(t: T) -> Seq<T> { pub fn produce_singleton<T>(t: T) -> Seq<T> {
vec![t] vec![t]
} }
#[define_opaque(Seq)]
pub fn produce_doubleton<T>(t: T, u: T) -> Seq<T> { pub fn produce_doubleton<T>(t: T, u: T) -> Seq<T> {
vec![t, u] vec![t, u]
} }