Skip to main content

is_self_field_shared_ref

rapx::verify::vm::alias

Function is_self_field_shared_ref 

Source 
fn is_self_field_shared_ref(
    tcx: TyCtxt<'_>,
    caller: DefId,
    origin: &SelfFieldOrigin,
) -> Option<bool>
Expand description

Check whether a self field’s type is a shared reference (&T or &[T]). Used by raw-ptr-deref alias checks to prove shared views are safe when the underlying field is a shared reference.