tests/ui/associated-types/unconstrained-lifetime-assoc-type.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

//! Regression test for issue #22077
//! lifetime parameters must be constrained in associated type definitions

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() {}