swift
[GSB] Rework nested-type-name-match constraints.
#11751
Merged

[GSB] Rework nested-type-name-match constraints. #11751

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

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone