about summary refs log tree commit diff
path: root/src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs
diff options
context:
space:
mode:
authorDavid Wood <david@davidtw.co>2018-08-08 14:28:26 +0200
committerDavid Wood <david@davidtw.co>2018-08-14 10:38:00 +0200
commitb16a30677f4e641329e768272cf9d3ecc2fa31c4 (patch)
treed3e652eb74da6147d2ae1514977c93c785c733a2 /src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs
parentfe28bcf1db02afe184e3677ee034b2a5804f2466 (diff)
downloadrust-b16a30677f4e641329e768272cf9d3ecc2fa31c4.tar.gz
rust-b16a30677f4e641329e768272cf9d3ecc2fa31c4.zip
Moved compile-fail tests to ui tests.
Diffstat (limited to 'src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs')
-rw-r--r--src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs27
1 files changed, 0 insertions, 27 deletions
diff --git a/src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs b/src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs
deleted file mode 100644
index 59d5dc6c58b..00000000000
--- a/src/test/compile-fail/traits-inductive-overflow-supertrait-oibit.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-// Copyright 2015 The Rust Project Developers. See the COPYRIGHT
-// file at the top-level directory of this distribution and at
-// http://rust-lang.org/COPYRIGHT.
-//
-// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
-// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
-// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
-// option. This file may not be copied, modified, or distributed
-// except according to those terms.
-
-// OIBIT-based version of #29859, supertrait version. Test that using
-// a simple OIBIT `..` impl alone still doesn't allow arbitrary bounds
-// to be synthesized.
-
-#![feature(optin_builtin_traits)]
-
-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);
-}