// check-pass pub trait LineFormatter<'a> { type Iter: Iterator + 'a; fn iter(&'a self, line: &'a str) -> Self::Iter; fn dimensions(&'a self, line: &'a str) { let iter: Self::Iter = self.iter(line); <_ as IntoIterator>::into_iter(iter); } } fn main() {}