Function rustc_borrowck::type_check::free_region_relations::create
source · pub(crate) fn create<'tcx>(
infcx: &InferCtxt<'tcx>,
param_env: ParamEnv<'tcx>,
implicit_region_bound: Region<'tcx>,
universal_regions: &Rc<UniversalRegions<'tcx>>,
constraints: &mut MirTypeckRegionConstraints<'tcx>
) -> CreateResult<'tcx>