summaryrefslogtreecommitdiffstats
path: root/src/test/ui/auto-traits/auto-traits.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/auto-traits/auto-traits.rs')
-rw-r--r--src/test/ui/auto-traits/auto-traits.rs32
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;
-}