diff options
| author | Samuel Tardieu <sam@rfc1149.net> | 2025-08-03 21:56:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-03 21:56:58 +0200 |
| commit | 7100b2deecb7c41d13b8f2b1d2093eaf9eff0a42 (patch) | |
| tree | 8a48503df60a5bab7f17c65701f6efed3f3a9340 | |
| parent | f3297d8fd314e0bc311d0c2177d238d606d9c074 (diff) | |
| parent | 870b58f4d060cc63c2969faa3f54da7802c4881e (diff) | |
Rollup merge of #144816 - Noratrieb:e0562-impl-trait, r=WaffleLapkin
Update E0562 to account for the new impl trait positions fixes rust-lang/rust#142683
| -rw-r--r-- | compiler/rustc_error_codes/src/error_codes/E0562.md | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/compiler/rustc_error_codes/src/error_codes/E0562.md b/compiler/rustc_error_codes/src/error_codes/E0562.md index 95f038df56d..af7b219fb12 100644 --- a/compiler/rustc_error_codes/src/error_codes/E0562.md +++ b/compiler/rustc_error_codes/src/error_codes/E0562.md @@ -1,5 +1,4 @@ -Abstract return types (written `impl Trait` for some trait `Trait`) are only -allowed as function and inherent impl return types. +`impl Trait` is only allowed as a function return and argument type. Erroneous code example: @@ -14,7 +13,7 @@ fn main() { } ``` -Make sure `impl Trait` only appears in return-type position. +Make sure `impl Trait` appears in a function signature. ``` fn count_to_n(n: usize) -> impl Iterator<Item=usize> { @@ -28,6 +27,6 @@ fn main() { } ``` -See [RFC 1522] for more details. +See the [reference] for more details on `impl Trait`. -[RFC 1522]: https://github.com/rust-lang/rfcs/blob/master/text/1522-conservative-impl-trait.md +[reference]: https://doc.rust-lang.org/stable/reference/types/impl-trait.html |
