interpret: add sanity check in dyn upcast to double-check what codegen does#127856

Merged

bors merged 1 commit intorust-lang:masterfrom

RalfJung:interpret-cast-sanity

Jul 19, 2024

Commits on Jul 18, 2024

interpret: add sanity check in dyn upcast to double-check what codegen does
RalfJung
committed