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

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