[rustc.git] / tests / ui / traits / new-solver / member-constraints-in-root-universe.rs

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

trait Trait {
    type Ty;
}

impl Trait for for<'a> fn(&'a u8, &'a u8) {
    type Ty = ();
}

// argument is necessary to create universes before registering the hidden type.
fn test<'a>(_: <fn(&u8, &u8) as Trait>::Ty) -> impl Sized {
    "hidden type is `&'?0 str` with '?0 member of ['static,]"
}

fn main() {}
Commit	Line	Data
fe692bf9 FG	1	// compile-flags: -Ztrait-solver=next
	2	// check-pass
	3
	4	trait Trait {
	5	type Ty;
	6	}
	7
	8	impl Trait for for<'a> fn(&'a u8, &'a u8) {
	9	type Ty = ();
	10	}
	11
	12	// argument is necessary to create universes before registering the hidden type.
	13	fn test<'a>(_: <fn(&u8, &u8) as Trait>::Ty) -> impl Sized {
	14	"hidden type is `&'?0 str` with '?0 member of ['static,]"
	15	}
	16
	17	fn main() {}