tests/ui/type-alias-impl-trait/type-alias-impl-trait-fn-type.rs


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

#![feature(type_alias_impl_trait)]
#![allow(dead_code)]

// FIXME: this is ruled out for now but should work

type Foo = fn() -> impl Send;
//~^ ERROR: `impl Trait` is not allowed in `fn` pointer return types

fn make_foo() -> Foo {
    || 15
}

fn main() {}