src/test/ui/nll/normalization-bounds.rs

   1 // Check that lifetime bounds get checked the right way around with NLL enabled.
   2
   3 //run-pass
   4
   5 #![feature(nll)]
   6 trait Visitor<'d> {
   7     type Value;
   8 }
   9
  10 impl<'a, 'd: 'a> Visitor<'d> for &'a () {
  11     type Value = ();
  12 }
  13
  14 fn visit_seq<'d: 'a, 'a>() -> <&'a () as Visitor<'d>>::Value {}
  15
  16 fn main() {}