[GSB] Rework nested-type-name-match constraints. #11751
“Sanitize” requirements before checking inferred type witnesses.
606ac145
[GSB] Infer equivalence of same-named nested types of the same potent…
4dee0d9c
[GSB] Remove a spurious variable update. NFC
39c36ea8
[GSB] Eliminate self-derived nested-type-name-match constraints..
1e21d8df
[GSB] Split out the operation to expand the requirement signature of …
56a07d2e
[GSB] Dump delayed requirements to aid in debugging. NFC
9b54f6a5
[GSB] Process same-type requirements needed to collapse same-type com…
43f3833b
[GSB] Collapse same-type components using delayed requirements.
0d53a73f
[GSB] Collapse structurally-equivalent potential archetypes.
41ff0585
DougGregor
changed the title [WIP] [GSB] Rework nested-type-name-match constraints. [GSB] Rework nested-type-name-match constraints. 8 years ago
[Stdlib] Eliminate the _UnicodeEncoding_ protocol.
3b47b16a
swift-ci
merged
8c65f6e7
into master 8 years ago
DougGregor
deleted the gsb-nested-same-type-match branch 8 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub