mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rollup merge of #74266 - GuillaumeGomez:cleanup-e0720, r=Dylan-DPC

Browse Source 
Clean up E0720 explanation

r? @Dylan-DPC
This commit is contained in:
Yuki Okushi 2020-07-29 09:24:13 +09:00 committed by GitHub
commit 1ed74eeef9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/librustc_error_codes/error_codes/E0720.md
View File

@ -1,11 +1,13 @@
An `impl Trait` type expands to a recursive type.
An `impl Trait` type must be expandable to a concrete type that contains no
`impl Trait` types. For example the following example tries to create an
`impl Trait` type `T` that is equal to `[T, T]`:
Erroneous code example:
```compile_fail,E0720
fn make_recursive_type() -> impl Sized {
[make_recursive_type(), make_recursive_type()]
}
```
An `impl Trait` type must be expandable to a concrete type that contains no
`impl Trait` types. For example the previous example tries to create an
`impl Trait` type `T` that is equal to `[T, T]`.