Function rustc_mir::borrow_check::constraint_generation::generate_constraints

pub(super) fn generate_constraints<'cx, 'tcx>(
    infcx: &InferCtxt<'cx, 'tcx>, 
    liveness_constraints: &mut LivenessValues<RegionVid>, 
    all_facts: &mut Option<PoloniusFacts<RustcFacts>>, 
    location_table: &LocationTable, 
    body: &Body<'tcx>, 
    borrow_set: &BorrowSet<'tcx>
)