Skip to content

Cross-module recursive_type_set import-merge fix (04_infer.dag:5422/5551): imported alias names mis-enter the consumer recursive_type_set -> spurious Box on concrete imported-alias fields (BROAD §3 emit/inference correctness, measure the most-visible instance). GATES: design-checkpoint to parent bef - #5630

Closed
briansrls wants to merge 1 commit into
mainfrom
session/smart-cat-841
Closed

Cross-module recursive_type_set import-merge fix (04_infer.dag:5422/5551): imported alias names mis-enter the consumer recursive_type_set -> spurious Box on concrete imported-alias fields (BROAD §3 emit/inference correctness, measure the most-visible instance). GATES: design-checkpoint to parent bef#5630
briansrls wants to merge 1 commit into
mainfrom
session/smart-cat-841

WIP: Cross-module recursive_type_set import-merge fix (04_infer.dag:5…

181d05e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar