tests/ui/type-alias-impl-trait/type-alias-impl-trait-with-no-traits.rs


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

#![feature(type_alias_impl_trait)]

type Foo = impl 'static;
//~^ ERROR: at least one trait must be specified

fn foo() -> Foo {
    "foo"
}

fn bar() -> impl 'static { //~ ERROR: at least one trait must be specified
    "foo"
}

fn main() {}