Skip to content
Permalink

Comparing changes

This is a direct comparison between two commits made in this repository or its related repositories. View the default comparison for this range or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: rust-lang/rust
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 78efff46a51e28d0391d1364275b9c8ba9c375ea
Choose a base ref
..
head repository: rust-lang/rust
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: a70548db1c80002251db1a356ae14c4e8d3b0550
Choose a head ref
Showing with 1 addition and 1 deletion.
  1. +1 −1 src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs
2 changes: 1 addition & 1 deletion src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
//@compile-flags: -Zmiri-strict-provenance
//@error-in-other-file: /retag .* tag does not exist in the borrow stack/
//@error-in-other-file: unreachable

fn main() {
unsafe {