about summary refs log tree commit diff
path: root/src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs')
-rw-r--r--src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs b/src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs
deleted file mode 100644
index 5fea47a1be8..00000000000
--- a/src/test/ui/traits/inductive-overflow/supertrait-auto-trait.rs
+++ /dev/null
@@ -1,18 +0,0 @@
-// Auto-trait-based version of #29859, supertrait version. Test that using
-// a simple auto trait `..` impl alone still doesn't allow arbitrary bounds
-// to be synthesized.
-
-#![feature(auto_traits)]
-#![feature(negative_impls)]
-
-auto trait Magic: Copy {} //~ ERROR E0568
-
-fn copy<T: Magic>(x: T) -> (T, T) { (x, x) }
-
-#[derive(Debug)]
-struct NoClone;
-
-fn main() {
-    let (a, b) = copy(NoClone); //~ ERROR
-    println!("{:?} {:?}", a, b);
-}