1 2 3 4 5 6 7 8 9 10 11 12 13
// check-pass // compile-flags: -Znext-solver // Issue 94358 fn foo<C>(_: C) where for <'a> &'a C: IntoIterator, for <'a> <&'a C as IntoIterator>::IntoIter: ExactSizeIterator, {} fn main() { foo::<_>(vec![true, false]); }