show warning when Stacked Borrows skips a reborrow due to 'extern type'#3701

bors merged 1 commit into

rust-lang:masterrust-lang/miri:masterfrom

RalfJung:extern-type-reborrowRalfJung/miri:extern-type-reborrowCopy head branch name to clipboard