summaryrefslogtreecommitdiffstats
path: root/tests/ui/functions-closures/closure-expected-type/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'tests/ui/functions-closures/closure-expected-type/README.md')
-rw-r--r--tests/ui/functions-closures/closure-expected-type/README.md8
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/ui/functions-closures/closure-expected-type/README.md b/tests/ui/functions-closures/closure-expected-type/README.md
new file mode 100644
index 000000000..0b749040a
--- /dev/null
+++ b/tests/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 `tests/ui/closure-expected-type`.