diff options
| author | Urgau <urgau@numericable.fr> | 2023-07-06 21:45:24 +0200 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2023-07-13 23:01:24 +0200 |
| commit | 3dbbf23e29516218863bda29d2983bd503e6b7fd (patch) | |
| tree | c51c406d93df152440b499b3f85110d3c13409b4 /src/tools | |
| parent | a161ab00dbf660dd587ee42a8c855bac94047ddb (diff) | |
| download | rust-3dbbf23e29516218863bda29d2983bd503e6b7fd.tar.gz rust-3dbbf23e29516218863bda29d2983bd503e6b7fd.zip | |
Rename cast_ref_to_mut lint to invalid_reference_casting
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/tests/fail/both_borrows/shr_frozen_violation1.rs | 2 | ||||
| -rw-r--r-- | src/tools/miri/tests/fail/modifying_constants.rs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/tests/fail/both_borrows/shr_frozen_violation1.rs b/src/tools/miri/tests/fail/both_borrows/shr_frozen_violation1.rs index 1edd7748cde..0c7f4b89711 100644 --- a/src/tools/miri/tests/fail/both_borrows/shr_frozen_violation1.rs +++ b/src/tools/miri/tests/fail/both_borrows/shr_frozen_violation1.rs @@ -1,7 +1,7 @@ //@revisions: stack tree //@[tree]compile-flags: -Zmiri-tree-borrows -#![allow(cast_ref_to_mut)] +#![allow(invalid_reference_casting)] fn foo(x: &mut i32) -> i32 { *x = 5; diff --git a/src/tools/miri/tests/fail/modifying_constants.rs b/src/tools/miri/tests/fail/modifying_constants.rs index 40ba31dad8f..0d1bd7929b5 100644 --- a/src/tools/miri/tests/fail/modifying_constants.rs +++ b/src/tools/miri/tests/fail/modifying_constants.rs @@ -1,7 +1,7 @@ // This should fail even without validation/SB //@compile-flags: -Zmiri-disable-validation -Zmiri-disable-stacked-borrows -#![allow(cast_ref_to_mut)] +#![allow(invalid_reference_casting)] fn main() { let x = &1; // the `&1` is promoted to a constant, but it used to be that only the pointer is marked static, not the pointee |