src/test/ui/type-alias-impl-trait/not_a_defining_use.stderr

   1 error: concrete type differs from previous defining opaque type use
   2   --> $DIR/not_a_defining_use.rs:29:1
   3    |
   4 LL | / fn four<T: Debug, U: Bar>(t: T) -> Two<T, U> {
   5 LL | |     (t, <U as Bar>::FOO)
   6 LL | | }
   7    | |_^ expected `(T, i8)`, got `(T, <U as Bar>::Blub)`
   8    |
   9 note: previous use here
  10   --> $DIR/not_a_defining_use.rs:9:1
  11    |
  12 LL | / fn two<T: Debug>(t: T) -> Two<T, u32> {
  13 LL | |     (t, 4i8)
  14 LL | | }
  15    | |_^
  16
  17 error: aborting due to previous error
  18