mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-25 16:24:46 +00:00
33 lines
725 B
Rust
33 lines
725 B
Rust
// run-pass
|
|
#![allow(unused_doc_comments)]
|
|
#![feature(auto_traits)]
|
|
#![feature(negative_impls)]
|
|
|
|
auto trait Auto {}
|
|
unsafe auto trait AutoUnsafe {}
|
|
|
|
impl !Auto for bool {}
|
|
impl !AutoUnsafe for bool {}
|
|
|
|
struct AutoBool(#[allow(unused_tuple_struct_fields)] bool);
|
|
|
|
impl Auto for AutoBool {}
|
|
unsafe impl AutoUnsafe for AutoBool {}
|
|
|
|
fn take_auto<T: Auto>(_: T) {}
|
|
fn take_auto_unsafe<T: AutoUnsafe>(_: T) {}
|
|
|
|
fn main() {
|
|
// Parse inside functions.
|
|
auto trait AutoInner {}
|
|
unsafe auto trait AutoUnsafeInner {}
|
|
|
|
take_auto(0);
|
|
take_auto(AutoBool(true));
|
|
take_auto_unsafe(0);
|
|
take_auto_unsafe(AutoBool(true));
|
|
|
|
/// Auto traits are allowed in trait object bounds.
|
|
let _: &(dyn Send + Auto) = &0;
|
|
}
|