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…

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