error: concrete type differs from previous defining opaque type use | |
--> $DIR/different_defining_uses_never_type-2.rs:8:31 | |
| | |
LL | let y: Tait<'b> = 1i32; | |
| ^^^^ expected `()`, got `i32` | |
| | |
note: previous use here | |
--> $DIR/different_defining_uses_never_type-2.rs:12:23 | |
| | |
LL | let x: Tait<'a> = (); | |
| ^^ | |
error: aborting due to previous error | |