[TypeChecker] Re-land fixes/improvements related to SE-0326 #40397
xedin
merged
14 commits into
swiftlang:main
from
xedin:reland-se-0326-related-changes-without-reenabling
[CSFix] Diagnose multiple solutions with missing closure param as un-…
a6755f17
[Sema] DebuggerTestingTransform: avoid re-using AST nodes in generate…
b337360d
[ConstraintSystem] Warn about discarded expressions found in multi-st…
46ff410a
[TypeChecker] Fix constraint solver to respect `LeaveClosureBodyUnche…
0e6e058e
[IDE] Skip complex closures while checking pattern bindings
d0fc5806
[TypeChecker/Constness] Diagnostics: Walk into multi-statement closur…
77ab650f
[CSClosure] Warn about `defer` being the last element in the closure …
24831653
[Diagnostics] Apply "unhandled throw" diagnostic for `for-in` loop in…
9bd603bf
[PreCheck] Avoid patterns that appear in closures when multi-statemen…
dcf80e62
[Sema/CodeCompletion] Leave complex closure bodies unchecked
f258a77d
[MiscDiagnostics] Introduce a base class for diagnostic walkers
4cd404d0
[ConstraintSystem] Attempt conjunction before closure result or gener…
d7984f44
[TypeChecker] Teach declaration type-checking about `LeaveClosureBody…
aef83067
[BuilderTransform] Don't skip multi-statement closures during pre-check
277b0fcc
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub