2 // See issue #91068. Types in the substs of an associated type can't be implied
3 // to be WF, since they don't actually have to be constructed.
13 fn f<'a, 'b>(s: &'b str, _: <&'a &'b () as Trait>::Type) -> &'a str {
15 //~^ ERROR lifetime may not live long enough
19 let x = String::from("Hello World!");