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

// compile-flags: -Zsave-analysis

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete

type Closure = impl FnOnce(); //~ ERROR: type mismatch resolving

fn c() -> Closure {
    || -> Closure { || () } //[min_tait]~ ERROR: not permitted here
}

fn main() {}
Commit	Line	Data
74b04a01 XL	1	// compile-flags: -Zsave-analysis
74b04a01 XL	2
6a06907d XL	3	// revisions: min_tait full_tait
	4	#![feature(min_type_alias_impl_trait)]
	5	#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
	6	//[full_tait]~^ WARN incomplete
60c5eb7d XL	7
	8	type Closure = impl FnOnce(); //~ ERROR: type mismatch resolving
	9
	10	fn c() -> Closure {
6a06907d	11	\|\| -> Closure { \|\| () } //[min_tait]~ ERROR: not permitted here
60c5eb7d XL	12	}
	13
	14	fn main() {}