Dylan DPC 11d8ae2c71

Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillot ...

validating the vtable can lead to Stacked Borrows errors

Fixes https://github.com/rust-lang/miri/issues/2123

2022-06-11 12:59:26 +02:00

..

src

Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillot

2022-06-11 12:59:26 +02:00

Cargo.toml

Initial fixes on top of type interner commit

2022-05-28 11:38:22 -07:00