src/test/ui/nll/user-annotations/dump-fn-method.stderr

   1 error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubsts { substs: [u32], user_self_ty: None } }
   2   --> $DIR/dump-fn-method.rs:36:13
   3    |
   4 LL |     let x = foo::<u32>; //~ ERROR [u32]
   5    |             ^^^^^^^^^^
   6
   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 } }
   8   --> $DIR/dump-fn-method.rs:42:13
   9    |
  10 LL |     let x = <_ as Bazoom<u32>>::method::<_>; //~ ERROR [^0, u32, ^1]
  11    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  12
  13 error: user substs: Canonical { max_universe: U0, variables: [], value: UserSubsts { substs: [u8, u16, u32], user_self_ty: None } }
  14   --> $DIR/dump-fn-method.rs:46:13
  15    |
  16 LL |     let x = <u8 as Bazoom<u16>>::method::<u32>; //~ ERROR [u8, u16, u32]
  17    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  18
  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 } }
  20   --> $DIR/dump-fn-method.rs:54:5
  21    |
  22 LL |     y.method::<u32>(44, 66); //~ ERROR [^0, ^1, u32]
  23    |     ^^^^^^^^^^^^^^^^^^^^^^^
  24
  25 error: aborting due to 4 previous errors
  26