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

bors merged 3 commits intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:dyn-trait-equalityRalfJung/rust:dyn-trait-equalityCopy head branch name to clipboard