error[E0271]: type mismatch resolving `<i32 as Is>::T == i64`
  --> $DIR/check-trait-object-bounds-5.rs:23:12
   |
LL |     is_obj(x)
   |     ------ ^ type mismatch resolving `<i32 as Is>::T == i64`
   |     |
   |     required by a bound introduced by this call
   |
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`.