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:7:14
   |
LL |         if { return } {
   |              ^^^^^^

error: aborting due to previous error