Sema: More exact bindings #87350
slavapestov
merged
42 commits into
swiftlang:main
from
slavapestov:more-exact-bindings
asl
commented
on 2026-02-19
Sema: Remove unused allowMembers parameter from getEffectiveOverloadT…
2763ec3a
Sema: Move getReducedType() call into getEffectiveOverloadType()
a40fc313
Same: Cache getEffectiveOverloadType() inside the BindOverload constr…
525902a2
Sema: Skip unnecessary work in canPossiblyConvertTo()
aa4c4d15
Sema: Refactor ComponentStep::take() a bit
457a9876
Sema: Favor exact binding sets over conjunctions, too
4c06e137
Sema: Refactor ComponentStep::take() some more
fc36d15d
Sema: Skip selectDisjunction() and selectConjunction() if possible
1f4c3f03
Sema: Put the inferTypeFromInitializerResultType() hack behind -solve…
c314c705
Sema: BindingSet::Bindings can be a SmallVector
bd837177
Sema: Introduce BindingSet::isConflicting()
e44f9eda
Sema: Bring back BindingSet::Protocols
266ac2cf
Sema: Teach Subtyping.cpp about tuples
7491ac82
Sema: Fix problem in isConformanceTransitiveForSubtype()
f5419c00
Sema: Factor out reduceBinding() from BindingSet::addBinding()
bd0c1212
Sema: Filter bindings by considering conformance constraints
227b3cb8
Sema: A bit of extra debug info
bf125742
Sema: Fix small problem in inferTransitiveKeyPathBindings()
6c211745
Sema: Recompute BindingSets when we begin salvage
9e3d18eb
Sema: Add a case for unit tests
c865f397
Sema: Turn subsumeBinding() into a method on BindingSet
1f440f9a
Sema: Refactor BindingSet::subsumeBinding()
ac50d24a
Sema: Strengthen Exact vs Exact case in subsumeBinding()
eff8c42f
Sema: Strengthen Exact vs Supertypes case in subsumeBinding()
4daf970e
Sema: Strengthen Exact vs Subtypes case in subsumeBinding()
4a47329e
Sema: Strengthen Supertypes vs Exact case in subsumeBinding()
e43da4d5
Sema: Strengthen Subtypes vs Exact case in subsumeBinding()
0dce1e56
Sema: Strengthen Supertypes vs Subtypes case in subsumeBinding()
467943c4
Sema: Strengthen Subtypes vs Supertypes case in subsumeBinding()
00064dce
Sema: Add some more fast and slow expressions
ea1cdba7
Sema: Add some tests
675d8433
Sema: Add test case for bug that has since been fixed
247f01c9
Sema: Change time limit to scope limit in keypath_bidirectional_infer…
6984b204
Sema: Fix leading dot member chains with common result type
9d412de2
Sema: Inline findResolvedMemberRef() into its only caller
601e253f
Sema: Refactor processing of BindingSet::Defaults in BindingProducer
8a92cdaa
Sema: Handle Fallback bindings like Defaults in the BindingProducer
a700f544
Sema: Consolidate tests for leading dot expressions in test/expr/lead…
4718412e
Sema: Clean up duplicated implementation of OverloadChoice::dump()
5b89c9a4
Sema: Detect conflicting subtype bindings imposed on closure type var…
59adfcd0
Sema: Resolve a couple of crashers that were added on main
116e9626
Sema: Lower scope limit for issue-45548.swift performance test
dbfc08ef
Reviewers
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Login to write a write a comment.
Login via GitHub