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/issues/issue-47511.rs | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 src/test/ui/issues/issue-47511.rs (limited to 'src/test/ui/issues/issue-47511.rs') diff --git a/src/test/ui/issues/issue-47511.rs b/src/test/ui/issues/issue-47511.rs new file mode 100644 index 000000000..eb4860e75 --- /dev/null +++ b/src/test/ui/issues/issue-47511.rs @@ -0,0 +1,26 @@ +// check-fail +// known-bug: #47511 + +// Regression test for #47511: anonymous lifetimes can appear +// unconstrained in a return type, but only if they appear just once +// in the input, as the input to a projection. + +fn f(_: X) -> X { + unimplemented!() +} + +fn g<'a>(_: X<'a>) -> X<'a> { + unimplemented!() +} + +type X<'a> = <&'a () as Trait>::Value; + +trait Trait { + type Value; +} + +impl<'a> Trait for &'a () { + type Value = (); +} + +fn main() {} -- cgit v1.2.3