diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-07-12 14:15:39 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-07-12 14:15:39 +0200 |
| commit | 633d1a5af96db7eccb8aeeb07ff31b06aaf07b5f (patch) | |
| tree | 3ddfbd4f653af2749f145d1d231ad1f321a67ffb /src/librustc_error_codes/error_codes | |
| parent | f844ea1e561475e6023282ef167e76bc973773ef (diff) | |
| download | rust-633d1a5af96db7eccb8aeeb07ff31b06aaf07b5f.tar.gz rust-633d1a5af96db7eccb8aeeb07ff31b06aaf07b5f.zip | |
Clean up E0720 explanation
Diffstat (limited to 'src/librustc_error_codes/error_codes')
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0720.md | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/librustc_error_codes/error_codes/E0720.md b/src/librustc_error_codes/error_codes/E0720.md index 410aa4f4609..40dfa484d3f 100644 --- a/src/librustc_error_codes/error_codes/E0720.md +++ b/src/librustc_error_codes/error_codes/E0720.md @@ -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]`. |