swift
[CS] Avoid solver-allocated inputs with `typesSatisfyConstraint`
#82147

Merged

[CS] Avoid solver-allocated inputs with `typesSatisfyConstraint` #82147

hamishknight merged 5 commits into swiftlang:main from hamishknight:fix-nested-arenas

hamishknight requested a review from

hborla 185 days ago

hamishknight requested a review from

xedin 185 days ago

hamishknight requested a review from

slavapestov 185 days ago

slavapestov approved these changes on 2025-06-10

xedin approved these changes on 2025-06-10

[CS] NFC: Remove `FreeTypeVariableBinding::UnresolvedType`

71d20b76

[CS] Remove UnresolvedType ranking logic

080b3fa5

[AST] Enforce we don't get solver-allocated ErrorTypes

215d6392

[CS] Avoid solver-allocated inputs with `typesSatisfyConstraint`

6d0da8d5

hamishknight force pushed 183 days ago

hamishknight requested a review from

bnbarham 183 days ago

hamishknight requested a review from

rintaro 183 days ago

hamishknight commented on 2025-06-12

[Sema] Avoid solver-allocated original ErrorTypes in `transformDepend…

db49faf1

hamishknight force pushed to db49faf1 183 days ago

hamishknight merged 9a0a831b into main 182 days ago

hamishknight deleted the fix-nested-arenas branch 182 days ago

Reviewers

xedin

slavapestov

hborla

bnbarham

rintaro

Assignees

No one assigned

Labels

None yet

Milestone

No milestone