src/test/ui/wf/wf-impl-associated-type-region.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

// Check that we require that associated types in an impl are well-formed.


pub trait Foo<'a> {
    type Bar;
}

impl<'a, T> Foo<'a> for T {
    type Bar = &'a T; //~ ERROR E0309
}


fn main() { }