diff options
Diffstat (limited to '')
-rw-r--r-- | tests/ui/auto-traits/typeck-default-trait-impl-precedence.stderr (renamed from src/test/ui/auto-traits/typeck-default-trait-impl-precedence.stderr) | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/src/test/ui/auto-traits/typeck-default-trait-impl-precedence.stderr b/tests/ui/auto-traits/typeck-default-trait-impl-precedence.stderr index ce7095664..bd7aaf6fb 100644 --- a/src/test/ui/auto-traits/typeck-default-trait-impl-precedence.stderr +++ b/tests/ui/auto-traits/typeck-default-trait-impl-precedence.stderr @@ -4,17 +4,23 @@ error[E0277]: the trait bound `u32: Signed` is not satisfied LL | is_defaulted::<&'static u32>(); | ^^^^^^^^^^^^ the trait `Signed` is not implemented for `u32` | - = help: the trait `Signed` is implemented for `i32` note: required for `&'static u32` to implement `Defaulted` --> $DIR/typeck-default-trait-impl-precedence.rs:10:19 | LL | impl<'a,T:Signed> Defaulted for &'a T { } - | ^^^^^^^^^ ^^^^^ + | ------ ^^^^^^^^^ ^^^^^ + | | + | unsatisfied trait bound introduced here note: required by a bound in `is_defaulted` --> $DIR/typeck-default-trait-impl-precedence.rs:12:19 | LL | fn is_defaulted<T:Defaulted>() { } | ^^^^^^^^^ required by this bound in `is_defaulted` +help: consider removing the leading `&`-reference + | +LL - is_defaulted::<&'static u32>(); +LL + is_defaulted::<u32>(); + | error: aborting due to previous error |