Skip to content

Fix verifier reference equality across recorded upcasts - #383

Open
CatarinaGamboa wants to merge 1 commit into
mainfrom
fix/377-exception-assignment
Open

Fix verifier reference equality across recorded upcasts#383
CatarinaGamboa wants to merge 1 commit into
mainfrom
fix/377-exception-assignment

Preserve reference identity across recorded upcasts

e6602a6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar