src/test/ui/nll/issue-53119.rs

   1 // compile-pass
   2
   3 #![feature(nll)]
   4
   5 use std::ops::Deref;
   6
   7 pub struct TypeFieldIterator<'a, T: 'a> {
   8     _t: &'a T,
   9 }
  10
  11 pub struct Type<Id, T> {
  12     _types: Vec<(Id, T)>,
  13 }
  14
  15 impl<'a, Id: 'a, T> Iterator for TypeFieldIterator<'a, T>
  16 where T: Deref<Target = Type<Id, T>> {
  17     type Item = &'a (Id, T);
  18
  19     fn next(&mut self) -> Option<&'a (Id, T)> {
  20         || self.next();
  21         None
  22     }
  23 }
  24
  25 fn main() { }