@@ -4,7 +4,7 @@ error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubs
44LL | let x = foo::<u32>; //~ ERROR [u32]
55 | ^^^^^^^^^^
66
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(U0)) }, CanonicalVarInfo { kind: Ty(General(U0) ) }], value: UserSubsts { substs: [^0, u32, ^1], user_self_ty: None } }
88 --> $DIR/dump-fn-method.rs:42:13
99 |
1010LL | let x = <_ as Bazoom<u32>>::method::<_>; //~ ERROR [^0, u32, ^1]
@@ -16,7 +16,7 @@ error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubs
1616LL | let x = <u8 as Bazoom<u16>>::method::<u32>; //~ ERROR [u8, u16, u32]
1717 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
1818
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: U1 , variables: [CanonicalVarInfo { kind: Ty(General(U1)) }, CanonicalVarInfo { kind: Ty(General(U1) ) }], value: UserSubsts { substs: [^0, ^1, u32], user_self_ty: None } }
2020 --> $DIR/dump-fn-method.rs:54:5
2121 |
2222LL | y.method::<u32>(44, 66); //~ ERROR [^0, ^1, u32]
0 commit comments