diff options
Diffstat (limited to 'tests/ui/impl-unused-rps-in-assoc-type.rs')
-rw-r--r-- | tests/ui/impl-unused-rps-in-assoc-type.rs | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/tests/ui/impl-unused-rps-in-assoc-type.rs b/tests/ui/impl-unused-rps-in-assoc-type.rs new file mode 100644 index 000000000..ea41997a6 --- /dev/null +++ b/tests/ui/impl-unused-rps-in-assoc-type.rs @@ -0,0 +1,18 @@ +// Test that lifetime parameters must be constrained if they appear in +// an associated type def'n. Issue #22077. + +trait Fun { + type Output; + fn call<'x>(&'x self) -> Self::Output; +} + +struct Holder { x: String } + +impl<'a> Fun for Holder { //~ ERROR E0207 + type Output = &'a str; + fn call<'b>(&'b self) -> &'b str { + &self.x[..] + } +} + +fn main() { } |