warning: this `Deref` implementation is covered by an implicit supertrait coercion
  --> $DIR/migrate-lint-different-substs.rs:12:1
   |
LL | impl<'a> Deref for dyn Foo + 'a {
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `dyn Foo` implements `Deref<Target = dyn Bar<u32>>` which conflicts with supertrait `Bar<i32>`
LL |
LL |     type Target = dyn Bar<u32> + 'a;
   |     ----------- target type is a supertrait of `dyn Foo`
   |
note: the lint level is defined here
  --> $DIR/migrate-lint-different-substs.rs:2:9
   |
LL | #![warn(deref_into_dyn_supertrait)]
   |         ^^^^^^^^^^^^^^^^^^^^^^^^^

warning: 1 warning emitted