mirror of https://github.com/rust-lang/rust
19 lines
318 B
Rust
19 lines
318 B
Rust
//@ check-pass
|
|
|
|
#![feature(auto_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::<!>();
|
|
}
|