Skip to main content

self_adt

rapx::verify::vm::alias

Function self_adt 

Source 
fn self_adt<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
) -> Option<(DefId, GenericArgsRef<'tcx>)>
Expand description

Extract the &self/&mut self receiver’s ADT (peeling one reference layer), or None for non-ADT receivers. Shared by the struct-field origin heuristics.