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 | |