summaryrefslogtreecommitdiffstats
path: root/src/test/ui/traits/associated_type_bound/check-trait-object-bounds-6.stderr
blob: 5b23a513eea9b96f77d6012a13f7bd7a4bc9464f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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`.