{"ast_node_type":"function","tokens":[{"end":31,"kind":"keyword","start":0,"text":"pub(crate)"}]}
pub(crate) fn type_check<'tcx>(
/// - `location_map` -- map between MIR `Location` and `PointIndex`
    root_cx: &mut BorrowCheckRootCtxt<'tcx>,