Skip to main content

no_internal_mut_check

rapx::verify::property_checker::auto_trait

Function no_internal_mut_check 

Source 
pub(crate) fn no_internal_mut_check<'tcx>(
    tcx: TyCtxt<'tcx>,
    ty: Ty<'tcx>,
) -> CheckResult
Expand description

Type-level NoInternalMut obligation check (no VM state required): Failed if any inherent method writes through a raw pointer — either a plain *ptr = ... write or an atomic update (Atomic* intrinsic).