averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[CSBindings] Shrink binding "sources" to supertype and equivalence only

Browse Source 
Instead of recording all of the binding "sources" let's only record
subtype, supertype and equivalence relationships which didn't materialize
as bindings (because other side is a type variable).

This is the only information necessary to infer transitive bindings
and protocol requirements.
This commit is contained in:
Pavel Yaskevich
2020-10-02 13:39:07 -07:00
parent 0c51159228
commit a9cce605a4
2 changed files with 12 additions and 38 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
include/swift/Sema/ConstraintSystem.h
View File

@@ -4741,15 +4741,13 @@ private:
/// Tracks the position of the last known supertype in the group.
Optional<unsigned> lastSupertypeIndex;
/// A set of all constraints which contribute to pontential bindings.
llvm::SmallPtrSet<Constraint *, 8> Sources;
/// A set of all not-yet-resolved type variables this type variable
/// is a subtype of. This is used to determine ordering inside a
/// chain of subtypes because binding inference algorithm can't,
/// at the moment, determine bindings transitively through supertype
/// type variables.
llvm::SmallDenseMap<TypeVariableType *, Constraint *, 4> SubtypeOf;
/// is a subtype of, supertype of or is equivalent to. This is used
/// to determine ordering inside of a chain of subtypes to help infer
/// transitive bindings and protocol requirements.
llvm::SmallMapVector<TypeVariableType *, Constraint *, 4> SubtypeOf;
llvm::SmallMapVector<TypeVariableType *, Constraint *, 4> SupertypeOf;
llvm::SmallMapVector<TypeVariableType *, Constraint *, 4> EquivalentTo;
PotentialBindings(TypeVariableType *typeVar)
: TypeVar(typeVar), PotentiallyIncomplete(isGenericParameter()) {}