]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
Rollup merge of #97761 - RalfJung:vtable-validation, r=cjgillot
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Sat, 11 Jun 2022 10:59:26 +0000 (12:59 +0200)
committerGitHub <noreply@github.com>
Sat, 11 Jun 2022 10:59:26 +0000 (12:59 +0200)
commit11d8ae2c7151b0b83f9c39594fdb47d8fa4d6ef2
tree83d418f85e8ad21541bb4f3553964521e239c553
parent7092d42c04a56378d2e748f98169b728b1f1d5d1
parent67ec96955f4a08c1005bda843d48ca73ea171c9e
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