diff options
Diffstat (limited to 'src/test/ui/auto-traits/auto-traits.rs')
-rw-r--r-- | src/test/ui/auto-traits/auto-traits.rs | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/src/test/ui/auto-traits/auto-traits.rs b/src/test/ui/auto-traits/auto-traits.rs deleted file mode 100644 index 7b52d9c17..000000000 --- a/src/test/ui/auto-traits/auto-traits.rs +++ /dev/null @@ -1,32 +0,0 @@ -// 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; -} |