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

// check-pass

#![feature(type_alias_impl_trait)]
#![allow(dead_code)]

mod m {
    type Foo = impl std::fmt::Debug;

    pub fn foo() -> Foo {
        22_u32
    }
}

fn is_send<T: Send>(_: T) {}

fn main() {
    is_send(m::foo());
}
Commit	Line	Data
94222f64 XL	1	// check-pass
	2
	3	#![feature(type_alias_impl_trait)]
	4	#![allow(dead_code)]
	5
	6	mod m {
	7	type Foo = impl std::fmt::Debug;
	8
	9	pub fn foo() -> Foo {
	10	22_u32
	11	}
	12	}
	13
	14	fn is_send<T: Send>(_: T) {}
	15
	16	fn main() {
	17	is_send(m::foo());
	18	}