swift
RequirementMachine: Improve the 'split concrete equivalence classes' hack a bit
#41945

Merged

Commits

Sema: Don't verify protocol requirement signatures if there was an error

slavapestov committed 4 years ago
RequirementMachine: Preserve sugar when splitting concrete equivalence classes

slavapestov committed 4 years ago
RequirementMachine: Add upper bound on number of attempts at splitting concrete equivalence classes

slavapestov committed 4 years ago
RequirementMachine: Allow query operations to be invoked on requirement machine instances for fresh signatures

slavapestov committed 4 years ago
RequirementMachine: Move some code around in RequirementMachineRequests.cpp

slavapestov committed 4 years ago
RequirementMachine: splitConcreteEquivalenceClass() uses getConcreteType() instead of getCanonicalTypeInContext()

slavapestov committed 4 years ago
RequirementMachine: Refactor shouldSplitConcreteEquivalenceClasses() and splitConcreteEquivalenceClasses() a bit

slavapestov committed 4 years ago
RequirementMachine: Move some code out of RuleBuilder and into RequirementSignatureRequest

slavapestov committed 4 years ago
RequirementMachine: Allow RequirementMachine::isConcreteType() and ::getCanonicalTypeInContext() to be used with protocol connected components

slavapestov committed 4 years ago
RequirementMachine: Splitting concrete equivalence classes in protocol requirement signatures

slavapestov committed 4 years ago