error[E0308]: mismatched types
  --> $DIR/broken-deref-chain.rs:41:30
   |
LL | fn trait_method() -> impl Trait {
   |                      ---------- the found opaque type
...
LL |         x.trait_method();
   |         - here the type of `x` is inferred to be `Foo<u32, impl Trait>`
LL |         let _: Foo<i32, _> = x; // Test that we did not apply the deref step
   |                -----------   ^ expected `Foo<i32, _>`, found `Foo<u32, impl Trait>`
   |                |
   |                expected due to this
   |
   = note: expected struct `Foo<i32, _>`
              found struct `Foo<u32, impl Trait>`

error: aborting due to 1 previous error

For more information about this error, try `rustc --explain E0308`.