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

   1 #![feature(type_alias_impl_trait)]
   2
   3 type Foo = impl 'static;
   4 //~^ ERROR: at least one trait must be specified
   5
   6 fn foo() -> Foo {
   7     "foo"
   8 }
   9
  10 fn bar() -> impl 'static { //~ ERROR: at least one trait must be specified
  11     "foo"
  12 }
  13
  14 fn main() {}