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

// check-pass

#![feature(type_alias_impl_trait)]

type A = impl Sized;
fn f1() -> A {
    0
}

type B = impl ?Sized;
fn f2() -> &'static B {
    &[0]
}

type C = impl ?Sized + 'static;
fn f3() -> &'static C {
    &[0]
}

type D = impl ?Sized;
fn f4() -> &'static D {
    &1
}

fn main() {}
Commit	Line	Data
ba9703b0 XL	1	// check-pass
ba9703b0 XL	2
94222f64	3	#![feature(type_alias_impl_trait)]
ba9703b0 XL	4
ba9703b0 XL	5	type A = impl Sized;
94222f64 XL	6	fn f1() -> A {
	7	0
	8	}
ba9703b0 XL	9
ba9703b0 XL	10	type B = impl ?Sized;
94222f64 XL	11	fn f2() -> &'static B {
	12	&[0]
	13	}
ba9703b0 XL	14
ba9703b0 XL	15	type C = impl ?Sized + 'static;
94222f64 XL	16	fn f3() -> &'static C {
	17	&[0]
	18	}
ba9703b0 XL	19
ba9703b0 XL	20	type D = impl ?Sized;
94222f64 XL	21	fn f4() -> &'static D {
	22	&1
	23	}
ba9703b0 XL	24
ba9703b0 XL	25	fn main() {}