[rustc.git] / tests / ui / traits / new-solver / dont-elaborate-for-projections.rs

// 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() {}
Commit	Line	Data
353b0b11 FG	1	// compile-flags: -Ztrait-solver=next
	2	// check-pass
	3
	4	trait Iter<'a, I: 'a>: Iterator<Item = &'a I> {}
	5
	6	fn needs_iter<'a, T: Iter<'a, I> + ?Sized, I: 'a>(_: &T) {}
	7
	8	fn test(x: &dyn Iter<'_, ()>) {
	9	needs_iter(x);
	10	}
	11
	12	fn main() {}