diff options
| author | Yuki Okushi <huyuumi.dev@gmail.com> | 2020-07-29 09:24:13 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-29 09:24:13 +0900 |
| commit | 1ed74eeef9a00283773d86fc72367ff78d9a259d (patch) | |
| tree | fbc9612cf8fc376042233acd3159254ab9dfc39d /src/librustc_error_codes/error_codes | |
| parent | a7eff79135de09a49b50acb029925275a7b42ccb (diff) | |
| parent | 633d1a5af96db7eccb8aeeb07ff31b06aaf07b5f (diff) | |
| download | rust-1ed74eeef9a00283773d86fc72367ff78d9a259d.tar.gz rust-1ed74eeef9a00283773d86fc72367ff78d9a259d.zip | |
Rollup merge of #74266 - GuillaumeGomez:cleanup-e0720, r=Dylan-DPC
Clean up E0720 explanation r? @Dylan-DPC
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]`. |