tests/ui/traits/new-solver/dont-elaborate-for-projections.rs


1
2
3
4
5
6
7
8
9
10
11
12

// compile-flags: -Ztrait-solver=next
// check-pass

trait Iter<'a, I: 'a>: Iterator<Item = &'a I> {}

fn needs_iter<'a, T: Iter<'a, I> + ?Sized, I: 'a>(_: &T) {}

fn test(x: &dyn Iter<'_, ()>) {
    needs_iter(x);
}

fn main() {}