swift
Sema: Filter out protocol extension default implementations of operators
#78225
Merged
Merged
Sema: Filter out protocol extension default implementations of operators #78225
slavapestov
merged
2 commits into
swiftlang:main
from
slavapestov:optimized-shifts
AST: Add isBitwiseOperator() and isShiftOperator() methods to Identifier
d1f34dcf
xedin
approved these changes
on 2024-12-16
Sema: Extend DisjunctionStep::shouldSkip() hack to cover ~ & | ^ << >>
27812856
slavapestov189 days ago
@swift-ci Please smoke test
slavapestov189 days ago
@swift-ci Please test source compatibility
xedin189 days ago
@swift-ci please test Linux platform
Login to write a write a comment.
In solution ranking we always prefer a protocol operator over
a protocol extension operator. So if their interface types are
identical, any set of fixed type assignments that satisfies
the default implementation will also satisfy the protocol requirement.
Thus, we can filter out the default implementation early and not
consider it at all.
This speeds up expressions involving bitwise shift operators,
for example.