Struct rustc_borrowck::type_check::constraint_conversion::ConstraintConversion

pub(crate) struct ConstraintConversion<'a, 'tcx> {
    infcx: &'a InferCtxt<'a, 'tcx>,
    tcx: TyCtxt<'tcx>,
    universal_regions: &'a UniversalRegions<'tcx>,
    region_bound_pairs: &'a RegionBoundPairs<'tcx>,
    implicit_region_bound: Option<Region<'tcx>>,
    param_env: ParamEnv<'tcx>,
    locations: Locations,
    category: ConstraintCategory,
    constraints: &'a mut MirTypeckRegionConstraints<'tcx>,
}

Fields

infcx: &'a InferCtxt<'a, 'tcx>

tcx: TyCtxt<'tcx>

universal_regions: &'a UniversalRegions<'tcx>

region_bound_pairs: &'a RegionBoundPairs<'tcx>

implicit_region_bound: Option<Region<'tcx>>

param_env: ParamEnv<'tcx>

locations: Locations

category: ConstraintCategory

constraints: &'a mut MirTypeckRegionConstraints<'tcx>

Implementations

impl<'a, 'tcx> ConstraintConversion<'a, 'tcx>

pub(crate) fn new(
    infcx: &'a InferCtxt<'a, 'tcx>,
    universal_regions: &'a UniversalRegions<'tcx>,
    region_bound_pairs: &'a RegionBoundPairs<'tcx>,
    implicit_region_bound: Option<Region<'tcx>>,
    param_env: ParamEnv<'tcx>,
    locations: Locations,
    category: ConstraintCategory,
    constraints: &'a mut MirTypeckRegionConstraints<'tcx>
) -> Self

pub(super) fn convert_all(
    &mut self,
    query_constraints: &QueryRegionConstraints<'tcx>
)

pub(super) fn convert(
    &mut self,
    query_constraint: &QueryOutlivesConstraint<'tcx>
)

fn verify_to_type_test(
    &mut self,
    generic_kind: GenericKind<'tcx>,
    region: Region<'tcx>,
    verify_bound: VerifyBound<'tcx>
) -> TypeTest<'tcx>

fn to_region_vid(&mut self, r: Region<'tcx>) -> RegionVid

fn add_outlives(&mut self, sup: RegionVid, sub: RegionVid)

fn add_type_test(&mut self, type_test: TypeTest<'tcx>)

Trait Implementations

impl<'a, 'b, 'tcx> TypeOutlivesDelegate<'tcx> for &'a mut ConstraintConversion<'b, 'tcx>

fn push_sub_region_constraint(
    &mut self,
    _origin: SubregionOrigin<'tcx>,
    a: Region<'tcx>,
    b: Region<'tcx>
)

fn push_verify(
    &mut self,
    _origin: SubregionOrigin<'tcx>,
    kind: GenericKind<'tcx>,
    a: Region<'tcx>,
    bound: VerifyBound<'tcx>
)

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: 96 bytes