Skip to content

Fix Unsubtyping on extern.convert_any#8062

Merged
tlively merged 1 commit intomainfrom
unsubtyping-extern-convert-any
Nov 19, 2025
Merged

Fix Unsubtyping on extern.convert_any#8062
tlively merged 1 commit intomainfrom
unsubtyping-extern-convert-any

Commits

Commits on Nov 19, 2025