From ef24de24a82fe681581cc130f342363c47c0969a Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Fri, 7 Jun 2024 07:48:48 +0200 Subject: Merging upstream version 1.75.0+dfsg1. Signed-off-by: Daniel Baumann --- .../new-solver/deduce-closure-signature-after-normalization.rs | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tests/ui/traits/new-solver/deduce-closure-signature-after-normalization.rs (limited to 'tests/ui/traits/new-solver/deduce-closure-signature-after-normalization.rs') diff --git a/tests/ui/traits/new-solver/deduce-closure-signature-after-normalization.rs b/tests/ui/traits/new-solver/deduce-closure-signature-after-normalization.rs new file mode 100644 index 000000000..51f62bc23 --- /dev/null +++ b/tests/ui/traits/new-solver/deduce-closure-signature-after-normalization.rs @@ -0,0 +1,10 @@ +// compile-flags: -Ztrait-solver=next +// check-pass + +trait Foo { + fn test() -> impl Fn(u32) -> u32 { + |x| x.count_ones() + } +} + +fn main() {} -- cgit v1.2.3