borrowck_collect_region_constraints

Function borrowck_collect_region_constraints 

Source
pub(crate) fn borrowck_collect_region_constraints<'tcx>(
    root_cx: &mut BorrowCheckRootCtxt<'tcx>,
    def: LocalDefId,
) -> CollectRegionConstraintsResult<'tcx>
Expand description

Start borrow checking by collecting the region constraints for the current body. This initializes the relevant data structures and then type checks the MIR body.