Skip to content

Fix verifier reference equality across recorded upcasts - #383

Merged
CatarinaGamboa merged 1 commit into
mainfrom
fix/377-exception-assignment
Oct 13, 2026
Merged

Fix verifier reference equality across recorded upcasts#383
CatarinaGamboa merged 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