diff options
Diffstat (limited to 'src/test/ui/traits/associated_type_bound/check-trait-object-bounds-5.stderr')
-rw-r--r-- | src/test/ui/traits/associated_type_bound/check-trait-object-bounds-5.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-5.stderr b/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-5.stderr new file mode 100644 index 000000000..4251c1a1e --- /dev/null +++ b/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-5.stderr @@ -0,0 +1,20 @@ +error[E0271]: type mismatch resolving `<i32 as Is>::T == i64` + --> $DIR/check-trait-object-bounds-5.rs:23:5 + | +LL | is_obj(x) + | ^^^^^^ type mismatch resolving `<i32 as Is>::T == i64` + | +note: expected this to be `i64` + --> $DIR/check-trait-object-bounds-5.rs:9:14 + | +LL | type T = U; + | ^ +note: required by a bound in `is_obj` + --> $DIR/check-trait-object-bounds-5.rs:20:23 + | +LL | fn is_obj<T: ?Sized + Obj>(_: &T) {} + | ^^^ required by this bound in `is_obj` + +error: aborting due to previous error + +For more information about this error, try `rustc --explain E0271`. |