swift
RequirementMachine: Two more fixes for -requirement-machine-protocol-signatures=verify
#40795

Merged

RequirementMachine: Two more fixes for -requirement-machine-protocol-signatures=verify #40795

slavapestov merged 4 commits into swiftlang:main from slavapestov:rqm-property-unification-rewrite-path-fixes

slavapestov force pushed 4 years ago

RequirementMachine: Record identity conformances in the property map

56450af6

RequirementMachine: PropertyBag::{getConcreteType,getSuperclassBound}…

a3c230e4

RequirementMachine: A better trick to tie off type witness recursion

378231cb

RequirementMachine: Remove the older 'concrete type in domain' hack

f674ca95

slavapestov force pushed to f674ca95 4 years ago

slavapestov merged 02c7ebad into main 4 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone