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

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