rustc_lint::reference_casting

Static INVALID_REFERENCE_CASTING

source
static INVALID_REFERENCE_CASTING: &Lint
Expand description

The invalid_reference_casting lint checks for casts of &T to &mut T without using interior mutability.

§Example

fn x(r: &i32) {
    unsafe {
        *(r as *const i32 as *mut i32) += 1;
    }
}

{{produces}}

§Explanation

Casting &T to &mut T without using interior mutability is undefined behavior, as it’s a violation of Rust reference aliasing requirements.

UnsafeCell is the only way to obtain aliasable data that is considered mutable.