blob: e4209643b7a3dc785d0fdd6b349bf1525afd7343 [file] [log] [blame]
error: concrete type differs from previous defining opaque type use
--> $DIR/recursive-tait-conflicting-defn.rs:30:3
|
LL | Some(B { inner })
| ^^^^^^^^^^^^^^^^^ expected `A`, got `B<TestImpl>`
|
note: previous use here
--> $DIR/recursive-tait-conflicting-defn.rs:20:3
|
LL | A
| ^
error: aborting due to previous error