Skip to main content

find_struct_field_origin_for_param

rapx::verify::vm::alias

Function find_struct_field_origin_for_param 

Source 
fn find_struct_field_origin_for_param<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    checkpoint: &Checkpoint<'tcx>,
) -> Option<SelfFieldOrigin>
Expand description

Attempt to extract the MIR local index from an operand for PlaceKey construction. Try to find a struct field origin by examining checkpoint arguments and the function’s self type. Handles the case where origin tracing fails to resolve through intermediate locals.