Repository navigation

[subtype-exprs] Fix shared constraints on unreachable RefEqs - #9279

Merged

tlively merged 1 commit into

mainfrom

subtype-exprs-ref-eq-shared

Oct 20, 2026

Merged

[subtype-exprs] Fix shared constraints on unreachable RefEqs#9279
tlively merged 1 commit into
mainfrom
subtype-exprs-ref-eq-shared

Commits on Oct 19, 2026
- [subtype-exprs] Fix shared constraints on unreachable RefEqs
  tlively
  committed
  59af5a5