Function rustc_typeck::check::typeck_with_fallback

fn typeck_with_fallback<'tcx>(
    tcx: TyCtxt<'tcx>, 
    def_id: LocalDefId, 
    fallback: impl Fn() -> Ty<'tcx> + 'tcx
) -> &'tcx TypeckResults<'tcx>