diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2024-06-12 15:44:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-12 15:44:59 +0200 |
| commit | 51a58c59f3ff8ec39da77c1c3d0b780568b9c202 (patch) | |
| tree | cda215bf270a33269c8010ce2a735b1b818d9294 /compiler/rustc_mir_transform/src | |
| parent | c21de3c91eeb9fbb70ef616bf30ed31962c11e90 (diff) | |
| parent | 3757136d8e0d8ddca294453e5a5ce70cfa3417e9 (diff) | |
| download | rust-51a58c59f3ff8ec39da77c1c3d0b780568b9c202.tar.gz rust-51a58c59f3ff8ec39da77c1c3d0b780568b9c202.zip | |
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`
Diffstat (limited to 'compiler/rustc_mir_transform/src')
0 files changed, 0 insertions, 0 deletions