Struct rustc_infer::infer::outlives::env::OutlivesEnvironmentBuilder

struct OutlivesEnvironmentBuilder<'tcx> {
    param_env: ParamEnv<'tcx>,
    region_relation: TransitiveRelationBuilder<Region<'tcx>>,
    region_bound_pairs: RegionBoundPairs<'tcx>,
}

Builder of OutlivesEnvironment.

Fields

param_env: ParamEnv<'tcx>

region_relation: TransitiveRelationBuilder<Region<'tcx>>

region_bound_pairs: RegionBoundPairs<'tcx>

Implementations

impl<'a, 'tcx> OutlivesEnvironmentBuilder<'tcx>

fn build(self) -> OutlivesEnvironment<'tcx>

fn add_outlives_bounds<I>(
    &mut self,
    infcx: Option<&InferCtxt<'a, 'tcx>>,
    outlives_bounds: I
)where
    I: IntoIterator<Item = OutlivesBound<'tcx>>,

Processes outlives bounds that are known to hold, whether from implied or other sources.

The infcx parameter is optional; if the implied bounds may contain inference variables, it must be supplied, in which case we will register “givens” on the inference context. (See RegionConstraintData.)

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 144 bytes