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.