[ConstraintSystem] Compute bindings incrementally #35903
xedin
merged
18 commits into
swiftlang:main
from
xedin:cs-incremental-bindings
[ConstraintGraph] Start inferring bindings incrementally
202a9de4
[ConstraintGraph] Track bound type variables regardless of presence o…
3e45980b
[ConstraintGraph] NFC: Add a equivalence class truncation callback to…
f9b58a79
[ConstraintGraph] Track constraint graph and type variable belonging …
93722150
[CSBindings] Separate inference storage from final product usable by …
df7af007
[ConstraintSystem] Implement incremental binding computation
fbc11f41
[CSBindings] Revert changes to `isViable`
5d869958
[CSBindings] Determine literal coverage during binding set finalization
3177145c
[CSBindings] Always finalize binding set unless explicitly asked not to
1817ddcc
[CSBindings] An attempt to make `isViable` filter out duplicate bindings
10df9d23
[ConstraintGraph] Make binding inference more incremental and stop re…
1de0764b
[CSBindings] Fix merge conflicts with main
dd1b8b32
[CSBindings] Change the direction of literal coverage determination
b891a454
[TypeChecker] NFC: Adjust tests impacted by binding ordering change
cb36fb72
[ConstraintGraph] NFC: Clarify names of inference APIs and add comments
5c623ebe
[ConstraintGraph] NFC: Refactor {un}bindTypeVariable to remove unnece…
bcb3da06
[CSBinding] Adjust SE-0299 binding inference to BindingSet
e5c686a3
xedin
changed the title
[CSBindings] Allow hack that drops noEscape bit from function types t…
8b8e002b
hborla
approved these changes
on 2021-02-25
Login to write a write a comment.
Login via GitHub