Skip to content

Fix soundness bug with clone overrides of subtypes#1062

Open
oskgo wants to merge 1 commit into
mainfrom
fix-subtype
Open

Fix soundness bug with clone overrides of subtypes#1062
oskgo wants to merge 1 commit into
mainfrom
fix-subtype

emit error when overrinding a subtype with a type that is not a subty…

a0f3d26
Select commit
Loading
Failed to load commit list.
Sign in for the full log view