Function rustc_hir_analysis::check::wfcheck::test_region_obligations
source ยท fn test_region_obligations<'tcx>(
tcx: TyCtxt<'tcx>,
id: LocalDefId,
param_env: ParamEnv<'tcx>,
wf_tys: &FxIndexSet<Ty<'tcx>>,
add_constraints: impl FnOnce(&InferCtxt<'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