Function rustc_hir_analysis::check::wfcheck::resolve_regions_with_wf_tys
source · fn resolve_regions_with_wf_tys<'tcx>(
tcx: TyCtxt<'tcx>,
id: LocalDefId,
param_env: ParamEnv<'tcx>,
wf_tys: &FxIndexSet<Ty<'tcx>>,
add_constraints: impl for<'a> FnOnce(&'a InferCtxt<'tcx>, &'a RegionBoundPairs<'tcx>)
) -> bool
Expand description
Given a known param_env
and a set of well formed types, set up an
InferCtxt
, call the passed function (to e.g. set up region constraints
to be tested), then resolve region and return errors