PR #91446 Sema: Fine-grained adjacency tracking

Sema: Fine-grained adjacency tracking #91446

slavapestov merged 7 commits into swiftlang:main from slavapestov:fine-grained-adjacency-tracking

slavapestov requested a review from

hborla 75 days ago

slavapestov requested a review from

xedin 75 days ago

slavapestov requested a review from

hamishknight 75 days ago

slavapestov requested a review from

jckarter 75 days ago

slavapestov requested a review from

kathygray-pl 75 days ago

slavapestov removed review request from

jckarter 75 days ago

slavapestov removed review request from

hborla 75 days ago

slavapestov removed review request from

hamishknight 75 days ago

slavapestov force pushed from 6cf576a4 to a589f730 75 days ago

slavapestov force pushed from 43c3754a to b4b07498 75 days ago

Sema: Refactor inferFromRelational()'s updating of AdjacentVars

b0ffe235

Sema: Rename BindingSet::AdjacentVars to ReferencedVars

89fd6b0d

Sema: Introduce PotentialBindings::SubtypeDelay and SupertypeDelay

ab14d5bf

Sema: Print list of protocols in BindingSet::dump()

d5063c5f

Sema: Replace findInferableTypeVars() with smarter analysis based on …

2378e6ec

Sema: Add bookkeeping for collection element type bindings

5f4f9d04

Sema: Unwrap LValueType when applying element type

c70f55b8

slavapestov force pushed from b4b07498 to c70f55b8 74 days ago

xedin approved these changes on 2026-08-14

slavapestov enabled auto-merge 73 days ago

slavapestov merged e07703c2 into main 73 days ago

Reviewers

xedin

kathygray-pl

Assignees

No one assigned

Labels

None yet

Milestone

No milestone

swift Sema: Fine-grained adjacency tracking #91446 Merged

Sema: Fine-grained adjacency tracking #91446

swift
Sema: Fine-grained adjacency tracking
#91446

Merged