src/test/ui/type-alias-impl-trait/issue-63279.rs

   1 // compile-flags: -Zsave-analysis
   2
   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
   7
   8 type Closure = impl FnOnce(); //~ ERROR: type mismatch resolving
   9
  10 fn c() -> Closure {
  11     || -> Closure { || () } //[min_tait]~ ERROR: not permitted here
  12 }
  13
  14 fn main() {}