[CS] Allow ExprPatterns to be type-checked in the solver #64280
swift-ci
merged
11 commits into
swiftlang:main
from
hamishknight:platypus
hamishknight
commented
on 2023-03-10
hamishknight
commented
on 2023-03-10
xedin
commented
on 2023-03-13
xedin
approved these changes
on 2023-03-13
xedin
approved these changes
on 2023-04-12
xedin
approved these changes
on 2023-06-06
[CS] Fix a couple of constraints in `getTypeForPattern`
f3b16fd7
[CS] Reverse the type order in a couple of pattern equality constraints
23dbf6f1
[CS] Remove external type logic from `getTypeForPattern`
8d2f2baf
[CS] Remove null pattern handling from `getTypeForPattern`
7c514fce
[CS] Remove null Type handling from `getTypeForPattern`
2a3b15c3
[Sema] Walk SyntacticElementTarget for completion
21e787ba
[CS] Allow ExprPatterns to be type-checked in the solver
7a137d67
[CS] Don't form conversion between switch subject and pattern
0695917b
[CS] Improve diagnostics a bit for pattern mismatch
b43d3511
[CS] Fix `coercePatternToType` enum cast handling
da86703e
[test] Add test case that exercises lots of `~=` overloads
eaa61a04
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub