summaryrefslogtreecommitdiffstats
path: root/tests/ui/traits/new-solver/dont-elaborate-for-projections.rs
blob: e608250063c0bdc63c1410ea5a5b47b3df4355fa (plain)
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() {}