Struct SafetySink 

struct SafetySink<'target, 'tcx> {
    checkpoint: &'target Checkpoint<'tcx>,
    property: &'target Property<'tcx>,
    roots: RelevantPlaces,
}

One safety obligation whose arguments have been bound to caller MIR locals.

A sink starts as a Property written in the callee’s namespace, for example NonNull(_ptr). bind_callsite_roots rewrites the initial relevance roots so they point at the caller locals passed into the unsafe checkpoint. The loop planner can then ask whether those caller locals depend on loop state.

Fields

checkpoint: &'target Checkpoint<'tcx>

Unsafe call, raw pointer dereference, or static mut synthetic checkpoint.

property: &'target Property<'tcx>

Safety property checked at this sink.

roots: RelevantPlaces

Caller-side MIR locals and places relevant to property.