tests/ui/type-alias-impl-trait/issue-63279.rs


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

// compile-flags: -Zsave-analysis

#![feature(type_alias_impl_trait)]

type Closure = impl FnOnce();

fn c() -> Closure {
    //~^ ERROR: expected a `FnOnce<()>` closure, found `()`
    || -> Closure { || () }
    //~^ ERROR: mismatched types
    //~| ERROR: mismatched types
    //~| ERROR: expected a `FnOnce<()>` closure, found `()`
}

fn main() {}