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/functions-closures/closure-expected-type/README.md | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/test/ui/functions-closures/closure-expected-type/README.md (limited to 'src/test/ui/functions-closures/closure-expected-type/README.md') diff --git a/src/test/ui/functions-closures/closure-expected-type/README.md b/src/test/ui/functions-closures/closure-expected-type/README.md new file mode 100644 index 000000000..11d2c9b7f --- /dev/null +++ b/src/test/ui/functions-closures/closure-expected-type/README.md @@ -0,0 +1,8 @@ +Some tests targeted at how we deduce the types of closure arguments. +This process is a result of some heuristics aimed at combining the +*expected type* we have with the *actual types* that we get from +inputs. This investigation was kicked off by #38714, which revealed +some pretty deep flaws in the ad-hoc way that we were doing things +before. + +See also `src/test/ui/closure-expected-type`. -- cgit v1.2.3