diff --git a/src/librustc_error_codes/error_codes/E0223.md b/src/librustc_error_codes/error_codes/E0223.md index 9fe0360425587..0d49f514ccf4d 100644 --- a/src/librustc_error_codes/error_codes/E0223.md +++ b/src/librustc_error_codes/error_codes/E0223.md @@ -1,5 +1,6 @@ An attempt was made to retrieve an associated type, but the type was ambiguous. -For example: + +Erroneous code example: ```compile_fail,E0223 trait MyTrait {type X; } diff --git a/src/librustc_error_codes/error_codes/E0225.md b/src/librustc_error_codes/error_codes/E0225.md index b9820dc68eeeb..c306e71009715 100644 --- a/src/librustc_error_codes/error_codes/E0225.md +++ b/src/librustc_error_codes/error_codes/E0225.md @@ -1,5 +1,6 @@ -You attempted to use multiple types as bounds for a closure or trait object. -Rust does not currently support this. A simple example that causes this error: +Multiple types were used as bounds for a closure or trait object. + +Erroneous code example: ```compile_fail,E0225 fn main() { @@ -7,6 +8,8 @@ fn main() { } ``` +Rust does not currently support this. + Auto traits such as Send and Sync are an exception to this rule: It's possible to have bounds of one non-builtin trait, plus any number of auto traits. For example, the following compiles correctly: