rust
/
reference
mirror of https://github.com/rust-lang/reference
1
0
Fork 0
Code Issues Releases Wiki Activity

Merge pull request #1409 from compiler-errors/ref 

Adjust reference for return-position `impl Trait` in trait and `async fn` in trait
This commit is contained in:
Eric Huss 2023-10-14 22:31:04 +00:00 committed by GitHub
parent 6e836c8718 d82c9ac405
commit 16fd3c06d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/items/traits.md
View File

@ -43,7 +43,7 @@ trait Example {
}
```
Trait functions are not allowed to be [`async`] or [`const`].
Trait functions are not allowed to be [`const`].
## Trait bounds

10
src/types/impl-trait.md
View File

@ -88,6 +88,12 @@ which also avoids the drawbacks of using a boxed trait object.
Similarly, the concrete types of iterators could become very complex, incorporating the types of all previous iterators in a chain.
Returning `impl Iterator` means that a function only exposes the `Iterator` trait as a bound on its return type, instead of explicitly specifying all of the other iterator types involved.
## Return-position `impl Trait` in traits and trait implementations
Functions in traits may also use `impl Trait` as a syntax for an anonymous associated type.
Every `impl Trait` in the return type of an associated function in a trait is desugared to an anonymous associated type. The return type that appears in the implementation's function signature is used to determine the value of the associated type.
### Differences between generics and `impl Trait` in return position
In argument position, `impl Trait` is very similar in semantics to a generic type parameter.
@ -121,8 +127,8 @@ Instead, the function chooses the return type, but only promises that it will im
## Limitations
`impl Trait` can only appear as a parameter or return type of a free or inherent function.
It cannot appear inside implementations of traits, nor can it be the type of a let binding or appear inside a type alias.
`impl Trait` can only appear as a parameter or return type of a non-`extern` function.
It cannot be the type of a `let` binding, field type, or appear inside a type alias.
[closures]: closure.md
[_GenericArgs_]: ../paths.md#paths-in-expressions