Skip to content

#6985 §14: cross-module type refs have no containment binding, and the arm fabricates instead of refusing - #7214

Merged
briansrls merged 1 commit into
mainfrom
diag/type-ref-binding-fail-open
Jul 25, 2026
Merged

briansrls merged 1 commit into
mainfrom
diag/type-ref-binding-fail-open

Commits

  1. Commits on Jul 25, 2026