Guillaume Gomez 51a58c59f3 Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obk ... interpret: dyn trait metadata check: equate traits in a proper way Hopefully fixes https://github.com/rust-lang/miri/issues/3541... unfortunately we don't have a testcase. The first commit is just a refactor without functional change. r? `@oli-obk`		2024-06-12 15:44:59 +02:00
..
src	Rollup merge of #126232 - RalfJung:dyn-trait-equality, r=oli-obk	2024-06-12 15:44:59 +02:00
Cargo.toml	Clean up rustc_*/Cargo.toml.	2023-10-30 08:46:02 +11:00
messages.ftl	interpret: make overflowing binops just normal binops	2024-05-21 14:50:09 +02:00