[rustc.git] / tests / ui / traits / new-solver / tait-eq-proj-2.rs

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

#![feature(type_alias_impl_trait)]

// Similar to tests/ui/traits/new-solver/tait-eq-proj.rs
// but check the alias-sub relation in the other direction.

type Tait = impl Iterator<Item = impl Sized>;

fn mk<T>() -> T {
    todo!()
}

fn a(_: Tait) {
    let x: Tait = mk();
    let mut array = mk();
    let mut z = IntoIterator::into_iter(array);
    z = x;
    array = [0i32; 32];
}

fn main() {}
Commit	Line	Data
fe692bf9 FG	1	// compile-flags: -Ztrait-solver=next
	2	// check-pass
	3
	4	#![feature(type_alias_impl_trait)]
	5
	6	// Similar to tests/ui/traits/new-solver/tait-eq-proj.rs
	7	// but check the alias-sub relation in the other direction.
	8
	9	type Tait = impl Iterator<Item = impl Sized>;
	10
	11	fn mk<T>() -> T {
	12	todo!()
	13	}
	14
	15	fn a(_: Tait) {
	16	let x: Tait = mk();
	17	let mut array = mk();
	18	let mut z = IntoIterator::into_iter(array);
	19	z = x;
	20	array = [0i32; 32];
	21	}
	22
	23	fn main() {}