// compile-flags: -Zsave-analysis
-#![feature(type_alias_impl_trait)]
+// 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 { || () }
+ || -> Closure { || () } //[min_tait]~ ERROR: not permitted here
}
fn main() {}