1 #![feature(generic_associated_types)]
2 
3 use std::ops::Deref;
4 
5 trait Iterable {
6     type Item<'a>;
7     type Iter<'a>: Iterator<Item = Self::Item<'a>>
8         + Deref<Target = Self::Item<'b>>;
9     //~^ ERROR undeclared lifetime
10 
iter<'a>(&'a self) -> Self::Iter<'undeclared>11     fn iter<'a>(&'a self) -> Self::Iter<'undeclared>;
12     //~^ ERROR undeclared lifetime
13 }
14 
main()15 fn main() {}
16