diff options
Diffstat (limited to 'src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr')
| -rw-r--r-- | src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr b/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr new file mode 100644 index 000000000..5b23a513e --- /dev/null +++ b/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr @@ -0,0 +1,20 @@ +error[E0271]: type mismatch resolving `<i32 as Is>::T == i64` + --> $DIR/check-trait-object-bounds-6.rs:20:5 + | +LL | is_obj(x) + | ^^^^^^ type mismatch resolving `<i32 as Is>::T == i64` + | +note: expected this to be `i64` + --> $DIR/check-trait-object-bounds-6.rs:9:14 + | +LL | type T = U; + | ^ +note: required by a bound in `is_obj` + --> $DIR/check-trait-object-bounds-6.rs:17: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`. |