[Diagnostics] Add an educational note explaining closure type inference rules

This note explains the difference in type inference between single expression and
non-single expression closures. It is associated with the "unable to infer
complex closure return type" diagnostic.
This commit is contained in:
Owen Voorhees
2019-12-04 13:37:11 -08:00
parent cd3ada5abb
commit b84562003e
2 changed files with 34 additions and 0 deletions

View File

@@ -26,4 +26,7 @@ EDUCATIONAL_NOTES(non_nominal_extension, "nominal-types.md")
EDUCATIONAL_NOTES(associated_type_witness_conform_impossible,
"nominal-types.md")
EDUCATIONAL_NOTES(cannot_infer_closure_result_type,
"complex-closure-inference.md")
#undef EDUCATIONAL_NOTES