interpret: dyn trait metadata check: equate traits in a proper way#126232

Merged

bors merged 3 commits intorust-lang:masterfrom

RalfJung:dyn-trait-equality

Jun 12, 2024

Commits on Jun 10, 2024

interpret: refactor dyn trait handling
RalfJung
committed

Commits on Jun 11, 2024