src/test/ui/wf/hir-wf-check-erase-regions.rs

   1 // Regression test for #87549.
   2 // incremental
   3
   4 pub struct Table<T, const N: usize>([Option<T>; N]);
   5
   6 impl<'a, T, const N: usize> IntoIterator for &'a Table<T, N> {
   7     type IntoIter = std::iter::Flatten<std::slice::Iter<'a, T>>; //~ ERROR `&T` is not an iterator
   8     type Item = &'a T;
   9
  10     fn into_iter(self) -> Self::IntoIter { //~ ERROR `&T` is not an iterator
  11         unimplemented!()
  12     }
  13 }
  14 fn main() {}