tests/ui/issues/issue-60218.rs

   1 // Regression test for #60218
   2 //
   3 // This was reported to cause ICEs.
   4
   5 use std::iter::Map;
   6
   7 pub trait Foo {}
   8
   9 pub fn trigger_error<I, F>(iterable: I, functor: F)
  10 where
  11     for<'t> &'t I: IntoIterator,
  12 for<'t> Map<<&'t I as IntoIterator>::IntoIter, F>: Iterator,
  13 for<'t> <Map<<&'t I as IntoIterator>::IntoIter, F> as Iterator>::Item: Foo,
  14 {
  15 }
  16
  17 fn main() {
  18     trigger_error(vec![], |x: &u32| x) //~ ERROR E0277
  19 }