src/test/ui/type-alias-impl-trait/incomplete-inference.rs

   1 #![feature(type_alias_impl_trait)]
   2
   3 type Foo = impl Sized;
   4
   5 fn bar() -> Foo {
   6     None
   7     //~^ ERROR: type annotations needed [E0282]
   8 }
   9
  10 fn baz() -> Foo {
  11     Some(())
  12 }
  13
  14 fn main() {}