From 633d1a5af96db7eccb8aeeb07ff31b06aaf07b5f Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Sun, 12 Jul 2020 14:15:39 +0200 Subject: [PATCH] Clean up E0720 explanation --- src/librustc_error_codes/error_codes/E0720.md | 8 +++++--- 1 file 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 410aa4f4609a8..40dfa484d3f94 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]`.