[rustc.git] / src / test / ui / never_type / auto-traits.rs

// check-pass

#![feature(optin_builtin_traits)]
#![feature(negative_impls)]
#![feature(never_type)]

fn main() {
    enum Void {}

    auto trait Auto {}
    fn assert_auto<T: Auto>() {}
    assert_auto::<Void>();
    assert_auto::<!>();

    fn assert_send<T: Send>() {}
    assert_send::<Void>();
    assert_send::<!>();
}
Commit	Line	Data
60c5eb7d XL	1	// check-pass
	2
	3	#![feature(optin_builtin_traits)]
ba9703b0	4	#![feature(negative_impls)]
60c5eb7d XL	5	#![feature(never_type)]
	6
	7	fn main() {
	8	enum Void {}
	9
	10	auto trait Auto {}
	11	fn assert_auto<T: Auto>() {}
	12	assert_auto::<Void>();
	13	assert_auto::<!>();
	14
	15	fn assert_send<T: Send>() {}
	16	assert_send::<Void>();
	17	assert_send::<!>();
	18	}