1 // Test that lifetime parameters must be constrained if they appear in
2 // an associated type def'n. Issue #22077.
6 fn call<'x>(&'x self) -> Self::Output;
9 struct Holder { x: String }
11 impl<'a> Fun for Holder { //~ ERROR E0207
12 type Output = &'a str;
13 fn call<'b>(&'b self) -> &'b str {