From 698f8c2f01ea549d77d7dc3338a12e04c11057b9 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:02:58 +0200 Subject: Adding upstream version 1.64.0+dfsg1. Signed-off-by: Daniel Baumann --- .../trivial-bounds-inconsistent-copy.rs | 33 ++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs (limited to '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 new file mode 100644 index 000000000..3416503b8 --- /dev/null +++ b/src/test/ui/trivial-bounds/trivial-bounds-inconsistent-copy.rs @@ -0,0 +1,33 @@ +// 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(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: &T) {} + + +fn main() {} -- cgit v1.2.3