swift
RequirementMachine: Concrete contraction needs to substitute the parent type of a subject type sometimes [5.7]
#59325

Merged

Commits

Sema: Eagerly resolve typealiases in protocol extensions in ::Structural mode

slavapestov committed 4 years ago
Sema: Simplify TypeResolution::areSameType()

slavapestov committed 4 years ago
RequirementMachine: Dump rewrite system when minimal conformances detects an invariant violation

slavapestov committed 4 years ago
RequirementMachine: Concrete contraction needs to substitute the parent type of a subject type sometimes

slavapestov committed 4 years ago