swift
43f3833b - [GSB] Process same-type requirements needed to collapse same-type components.

Commit
8 years ago
[GSB] Process same-type requirements needed to collapse same-type components. Same-type constraints are rederived based on the potential archetypes within an equivalence class and the same-type constraints that link them. In some cases, there may be parts that connect those same-type constraints that are stored in "delayed" requirements (for which one or both end-points have not been realized in a potential archetype); consider those as well for connectedness. In a sense, this is an artifact of the generic signature builder's approach of realizing potential archetypes too readily, and this can likely be simplified in the future. For now, it's important for the minimization of same-type constraints in generic signatures.
Author
Committer
Parents
Loading