blob: 0fdcb81f6672606d85354555fe26c90cce690489 (
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-3.rs:8:30
|
LL | let y: Tait<U> = 1i32;
| ^^^^ expected `()`, got `i32`
|
note: previous use here
--> $DIR/different_defining_uses_never_type-3.rs:12:22
|
LL | let x: Tait<T> = ();
| ^^
error: aborting due to 1 previous error
|