From 24b9f82017c8a277b8e7c38f7504fc0b8552c062 Mon Sep 17 00:00:00 2001 From: Urgau Date: Thu, 6 Jul 2023 21:45:24 +0200 Subject: [PATCH] Rename cast_ref_to_mut lint to invalid_reference_casting --- tests/fail/both_borrows/shr_frozen_violation1.rs | 2 +- tests/fail/modifying_constants.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/fail/both_borrows/shr_frozen_violation1.rs b/tests/fail/both_borrows/shr_frozen_violation1.rs index 1edd7748cd..0c7f4b8971 100644 --- a/tests/fail/both_borrows/shr_frozen_violation1.rs +++ b/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/tests/fail/modifying_constants.rs b/tests/fail/modifying_constants.rs index 40ba31dad8..0d1bd7929b 100644 --- a/tests/fail/modifying_constants.rs +++ b/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