[rustc.git] / src / test / ui / type-alias-impl-trait / issue-66580-closure-coherence.rs

// Regression test for issue #66580
// Ensures that we don't try to determine whether a closure
// is foreign when it's the underlying type of an opaque type
// check-pass
#![feature(type_alias_impl_trait)]

type Closure = impl FnOnce();

fn closure() -> Closure {
    || {}
}

struct Wrap<T> {
    f: T,
}

impl Wrap<Closure> {}

impl<T> Wrap<T> {}

fn main() {}
Commit	Line	Data
60c5eb7d XL	1	// Regression test for issue #66580
	2	// Ensures that we don't try to determine whether a closure
	3	// is foreign when it's the underlying type of an opaque type
	4	// check-pass
94222f64	5	#![feature(type_alias_impl_trait)]
60c5eb7d XL	6
	7	type Closure = impl FnOnce();
	8
	9	fn closure() -> Closure {
	10	\|\| {}
	11	}
	12
94222f64 XL	13	struct Wrap<T> {
	14	f: T,
	15	}
60c5eb7d XL	16
	17	impl Wrap<Closure> {}
	18
	19	impl<T> Wrap<T> {}
	20
	21	fn main() {}