Function rustc_borrowck::type_check::free_region_relations::create

source ·

pub(crate) fn create<'tcx>(
    infcx: &InferCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    known_type_outlives_obligations: &'tcx [PolyTypeOutlivesPredicate<'tcx>],
    implicit_region_bound: Region<'tcx>,
    universal_regions: &Rc<UniversalRegions<'tcx>>,
    constraints: &mut MirTypeckRegionConstraints<'tcx>
) -> CreateResult<'tcx>