Skip to content

Fix propagation bug in Unsubtyping#8468

Merged
tlively merged 2 commits intomainfrom
unsubtyping-fix-propagation
Mar 16, 2026
Merged

Fix propagation bug in Unsubtyping#8468
tlively merged 2 commits intomainfrom
unsubtyping-fix-propagation

Commits

Commits on Mar 14, 2026

Commits on Mar 16, 2026