tests/ui/type-alias-impl-trait/incomplete-inference.rs


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

#![feature(type_alias_impl_trait)]

type Foo = impl Sized;

fn bar() -> Foo {
    None
    //~^ ERROR: type annotations needed [E0282]
}

fn baz() -> Foo {
    Some(())
}

fn main() {}