Function rustc_mir::borrow_check::type_check::type_check_internal

pub(in borrow_check::type_check) fn type_check_internal<'a, 'tcx, R>(
    infcx: &'a InferCtxt<'a, 'tcx>, 
    param_env: ParamEnv<'tcx>, 
    body: &'a Body<'tcx>, 
    promoted: &'a IndexVec<Promoted, Body<'tcx>>, 
    region_bound_pairs: &'a RegionBoundPairs<'tcx>, 
    implicit_region_bound: Region<'tcx>, 
    borrowck_context: &'a mut BorrowCheckContext<'a, 'tcx>, 
    universal_region_relations: &'a UniversalRegionRelations<'tcx>, 
    extra: impl FnOnce(TypeChecker<'a, 'tcx>) -> R
) -> R