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

…

messages.ftl

interpret: make overflowing binops just normal binops

2024-05-21 14:50:09 +02:00