summaryrefslogtreecommitdiffstats
path: root/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs')
-rw-r--r--src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs33
1 files changed, 0 insertions, 33 deletions
diff --git a/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
deleted file mode 100644
index 3416503b8..000000000
--- a/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
+++ /dev/null
@@ -1,33 +0,0 @@
-// check-pass
-// Check tautalogically false `Copy` bounds
-#![feature(trivial_bounds)]
-
-fn copy_string(t: String) -> String where String: Copy { //~ WARNING trivial_bounds
- is_copy(&t);
- let x = t;
- drop(t);
- t
-}
-
-fn copy_out_string(t: &String) -> String where String: Copy { //~ WARNING trivial_bounds
- *t
-}
-
-fn copy_string_with_param<T>(x: String) where String: Copy { //~ WARNING trivial_bounds
- let y = x;
- let z = x;
-}
-
-// Check that no reborrowing occurs
-fn copy_mut<'a>(t: &&'a mut i32) -> &'a mut i32 where for<'b> &'b mut i32: Copy {
- //~^ WARNING trivial_bounds
- is_copy(t);
- let x = *t;
- drop(x);
- x
-}
-
-fn is_copy<T: Copy>(t: &T) {}
-
-
-fn main() {}