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
trigger_error<I, F>(iterable: I, functor: F) where for<'t> &'t I: IntoIterator, for<'t> Map<<&'t I as IntoIterator>::IntoIter, F>: Iterator, for<'t> <Map<<&'t I as IntoIterator>::IntoIter, F> as Iterator>::Item: Foo,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
main()17 fn main() {
18 trigger_error(vec![], |x: &u32| x) //~ ERROR E0277
19 }
20