1 // Check that substitutions given on the self type (here, `A`) can be
2 // used in combination with annotations given for method arguments.
4 struct A<'a> { x: &'a u32 }
7 fn new<'b, T>(x: &'a u32, y: T) -> Self {
14 let x = A::<'a>::new::<&'a u32>(&v, &v);