swift
Miscellaneous solver cleanups
#77178
Merged

Miscellaneous solver cleanups #77178

slavapestov
slavapestov slavapestov requested a review from hborla hborla 1 year ago
slavapestov slavapestov requested a review from xedin xedin 1 year ago
slavapestov slavapestov requested a review from jckarter jckarter 1 year ago
slavapestov slavapestov requested a review from rjmccall rjmccall 1 year ago
slavapestov Sema: Re-enable validation-test/Sema/type_checker_perf/slow/nil_coale…
308b4f41
slavapestov Sema: Tail-allocate Constraint::TheFix
a48591d7
slavapestov Sema: Tail-allocate Constraint::Overload::Choice
0de8428f
slavapestov Sema: Remove Constraint::clone()
2eaec5a9
slavapestov Sema: Fold Constraint::createFixedChoice() into Constraint::createBin…
b44bff26
slavapestov Sema: Rename ConstraintSystem::generateConstraints() to ConstraintSys…
53794d3b
slavapestov Sema: Tighten an invariant in ConstraintGraph
338ad306
slavapestov Sema: Simplify ConstraintSystem::getUnopenedTypeOfReference()
6c02529c
slavapestov Sema: Simplify doesStorageProduceLValue()
c728c2aa
slavapestov Sema: Don't split up pack types in matchExistentialTypes()
54168849
slavapestov Sema: Remove ConstraintKind::SelfObjectOfProtocol
3400022c
slavapestov AST: Clean up ExistentialLayout for ParameterizedProtocolType
5e1e1842
slavapestov Sema: Fix matchExistentialType() handling of ProtocolCompositionType …
8beaa7b2
slavapestov slavapestov force pushed to 8beaa7b2 1 year ago
slavapestov
slavapestov
xedin
xedin approved these changes on 2024-10-23
slavapestov
slavapestov
slavapestov
slavapestov slavapestov merged 5190d98e into main 1 year ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone