blob: f2eb7bc4dc79b5034e94783f4824531f2c64337c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
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
|