From a52eb05ec6407054a0549b336fa746b62e1d22c0 Mon Sep 17 00:00:00 2001 From: Nixon Date: Sat, 30 Nov 2019 10:56:07 +0000 Subject: [PATCH] Address review comments --- src/librustc_error_codes/error_codes/E0203.md | 18 ++++++++++++------ 1 file changed, 12 insertions(+), 6 deletions(-) diff --git a/src/librustc_error_codes/error_codes/E0203.md b/src/librustc_error_codes/error_codes/E0203.md index 792ed3cb8bb8..1edb519275f7 100644 --- a/src/librustc_error_codes/error_codes/E0203.md +++ b/src/librustc_error_codes/error_codes/E0203.md @@ -1,12 +1,18 @@ -Having multiple relaxed default bounds is unsuported. +Having multiple relaxed default bounds is unsupported. Erroneous code example: ```compile_fail,E0203 - -trait Foo {} - -struct S5(*const T) where T: ?Foo + ?Sized; +struct Bad{ + inner: T +} ``` -Here the type `T` cannot have a relaxed bound for both `Foo` and `Sized` +Here the type `T` cannot have a relaxed bound for multiple default traits +(`Sized` and `Send`). This can be fixed by only using one relaxed bound. + +``` +struct Good{ + inner: T +} +```