New upstream version 1.41.1+dfsg1

[rustc.git] / src / test / ui / trivial-bounds / trivial-bounds-inconsistent-copy.rs

diff --git a/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
index bdbd64140f0cbfa4cd6495e6694bbd7b8ba79dfc..3416503b851fbcaad43d5011a9b42be5ff31bbf1 100644 (file)
--- a/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
+++ b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs
@@ -1,26 +1,26 @@
-// run-pass
+// check-pass
 // Check tautalogically false `Copy` bounds
 #![feature(trivial_bounds)]
-#![allow(unused)]
 
-fn copy_string(t: String) -> String where String: Copy {
+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 {
+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 {
+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);