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 --- src/test/ui/regions/regions-static-bound-rpass.rs | 26 +++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 src/test/ui/regions/regions-static-bound-rpass.rs (limited to 'src/test/ui/regions/regions-static-bound-rpass.rs') diff --git a/src/test/ui/regions/regions-static-bound-rpass.rs b/src/test/ui/regions/regions-static-bound-rpass.rs new file mode 100644 index 000000000..25232b455 --- /dev/null +++ b/src/test/ui/regions/regions-static-bound-rpass.rs @@ -0,0 +1,26 @@ +// run-pass + +fn invariant_id<'a,'b>(t: &'b mut &'static ()) -> &'b mut &'a () + where 'a: 'static { t } +//~^ WARN unnecessary lifetime parameter `'a` + +fn static_id<'a>(t: &'a ()) -> &'static () + where 'a: 'static { t } +//~^ WARN unnecessary lifetime parameter `'a` + +fn static_id_indirect<'a,'b>(t: &'a ()) -> &'static () + where 'a: 'b, 'b: 'static { t } +//~^ WARN unnecessary lifetime parameter `'b` + +fn ref_id<'a>(t: &'a ()) -> &'a () where 'static: 'a { t } + +static UNIT: () = (); + +fn main() +{ + let mut val : &'static () = &UNIT; + invariant_id(&mut val); + static_id(val); + static_id_indirect(val); + ref_id(val); +} -- cgit v1.2.3