[rustc.git] / src / test / ui / type-alias-impl-trait / issue-52843.rs

// revisions: min_tait full_tait
#![feature(min_type_alias_impl_trait)]
#![cfg_attr(full_tait, feature(type_alias_impl_trait))]
//[full_tait]~^ WARN incomplete

type Foo<T> = impl Default;
//~^ ERROR: the trait bound `T: Default` is not satisfied

#[allow(unused)]
fn foo<T: Default>(t: T) -> Foo<T> {
    t
}

struct NotDefault;

fn main() {
    let _ = Foo::<NotDefault>::default();
}
Commit	Line	Data
6a06907d XL	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
29967ef6 XL	5
	6	type Foo<T> = impl Default;
	7	//~^ ERROR: the trait bound `T: Default` is not satisfied
	8
	9	#[allow(unused)]
	10	fn foo<T: Default>(t: T) -> Foo<T> {
	11	t
	12	}
	13
	14	struct NotDefault;
	15
	16	fn main() {
	17	let _ = Foo::<NotDefault>::default();
	18	}