[rustc.git] / src / test / ui / type-alias-impl-trait / incomplete-inference.rs

#![feature(type_alias_impl_trait)]

type Foo = impl Sized;

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

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

fn main() {}
Commit	Line	Data
94222f64 XL	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 {
94222f64 XL	11	Some(())
	12	}
	13
	14	fn main() {}