@@ -4,10 +4,10 @@ error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubs
4
4
LL | let x = foo::<u32>; //~ ERROR [u32]
5
5
| ^^^^^^^^^^
6
6
7
- error: user substs: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Ty(General) }, CanonicalVarInfo { kind: Ty(General) }], value: UserSubsts { substs: [? 0, u32, ? 1], user_self_ty: None } }
7
+ error: user substs: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Ty(General) }, CanonicalVarInfo { kind: Ty(General) }], value: UserSubsts { substs: [^ 0, u32, ^ 1], user_self_ty: None } }
8
8
--> $DIR/dump-fn-method.rs:42:13
9
9
|
10
- LL | let x = <_ as Bazoom<u32>>::method::<_>; //~ ERROR [? 0, u32, ? 1]
10
+ LL | let x = <_ as Bazoom<u32>>::method::<_>; //~ ERROR [^ 0, u32, ^ 1]
11
11
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
12
12
13
13
error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubsts { substs: [u8, u16, u32], user_self_ty: None } }
@@ -16,10 +16,10 @@ error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubs
16
16
LL | let x = <u8 as Bazoom<u16>>::method::<u32>; //~ ERROR [u8, u16, u32]
17
17
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
18
18
19
- error: user substs: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Ty(General) }, CanonicalVarInfo { kind: Ty(General) }], value: UserSubsts { substs: [? 0, ? 1, u32], user_self_ty: None } }
19
+ error: user substs: Canonical { max_universe: U0, variables: [CanonicalVarInfo { kind: Ty(General) }, CanonicalVarInfo { kind: Ty(General) }], value: UserSubsts { substs: [^ 0, ^ 1, u32], user_self_ty: None } }
20
20
--> $DIR/dump-fn-method.rs:54:5
21
21
|
22
- LL | y.method::<u32>(44, 66); //~ ERROR [? 0, ? 1, u32]
22
+ LL | y.method::<u32>(44, 66); //~ ERROR [^ 0, ^ 1, u32]
23
23
| ^^^^^^^^^^^^^^^^^^^^^^^
24
24
25
25
error: aborting due to 4 previous errors
0 commit comments