Function extract_hir_info 

pub(crate) fn extract_hir_info<'tcx>(
    tcx: TyCtxt<'tcx>,
    mir_body: &Body<'tcx>,
) -> ExtractedHirInfo