tests/ui/wf/wf-trait-associated-type-region.rs

   1 // Test that we check associated type default values for WFedness.
   2
   3 #![feature(associated_type_defaults)]
   4
   5 #![allow(dead_code)]
   6
   7 trait SomeTrait<'a> {
   8     type Type1;
   9     type Type2 = &'a Self::Type1;
  10     //~^ ERROR E0309
  11 }
  12
  13
  14 fn main() { }