src/test/ui/higher-rank-trait-bounds/normalize-under-binder/issue-56556.rs

   1 // check-pass
   2
   3 fn foo<T>(t: T) -> usize
   4 where
   5     for<'a> &'a T: IntoIterator,
   6     for<'a> <&'a T as IntoIterator>::IntoIter: ExactSizeIterator,
   7 {
   8     t.into_iter().len()
   9 }
  10
  11 fn main() {
  12     foo::<Vec<u32>>(vec![]);
  13 }