Skip to main content

resolve_escaped_field_origin

rapx::verify::vm::alias

Function resolve_escaped_field_origin 

Source 
fn resolve_escaped_field_origin<'tcx>(
    tcx: TyCtxt<'tcx>,
    caller: DefId,
    resolved_origin: &PlaceKey,
    origin_place: &PlaceKey,
    checkpoint: &Checkpoint<'tcx>,
) -> Option<FieldOrigin>
Expand description

Resolve the struct field an escaping view came from: try the derivation tree first (via the resolved and raw origins), then fall back to self-type heuristics when tree resolution fails to reach a field.