From 768f6f934028d3ac261cc6ad91219f6f90de1d72 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Fri, 24 Jan 2020 12:56:32 +0100 Subject: [PATCH] Clean up error codes E0223 and E0225 explanations --- src/librustc_error_codes/error_codes/E0223.md | 3 ++- src/librustc_error_codes/error_codes/E0225.md | 7 +++++-- 2 files changed, 7 insertions(+), 3 deletions(-) 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: