Skip to content

Fix propagation bug in Unsubtyping - #8468

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

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