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

   1 // Check that we require that associated types in an impl are well-formed.
   2
   3
   4
   5 pub trait Foo<'a> {
   6     type Bar;
   7 }
   8
   9 impl<'a, T> Foo<'a> for T {
  10     type Bar = &'a T; //~ ERROR E0309
  11 }
  12
  13
  14 fn main() { }