Skip to content

Fix Unsubtyping on extern.convert_any - #8062

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

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

Fix Unsubtyping on extern.convert_any

22bb0c4
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar