Struct rustc_mir::borrow_check::nll::type_check::constraint_conversion::ConstraintConversion [−][src]
pub(crate) struct ConstraintConversion<'a, 'gcx: 'tcx, 'tcx: 'a> { tcx: TyCtxt<'a, 'gcx, 'tcx>, universal_regions: &'a UniversalRegions<'tcx>, location_table: &'a LocationTable, region_bound_pairs: &'a [(Region<'tcx>, GenericKind<'tcx>)], implicit_region_bound: Option<Region<'tcx>>, param_env: ParamEnv<'tcx>, locations: Locations, outlives_constraints: &'a mut ConstraintSet, type_tests: &'a mut Vec<TypeTest<'tcx>>, all_facts: &'a mut Option<PoloniusAllFacts<RegionVid, BorrowIndex, LocationIndex>>, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Fields
tcx: TyCtxt<'a, 'gcx, 'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
universal_regions: &'a UniversalRegions<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
location_table: &'a LocationTable
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
region_bound_pairs: &'a [(Region<'tcx>, GenericKind<'tcx>)]
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
implicit_region_bound: Option<Region<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
param_env: ParamEnv<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
locations: Locations
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
outlives_constraints: &'a mut ConstraintSet
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
type_tests: &'a mut Vec<TypeTest<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
all_facts: &'a mut Option<PoloniusAllFacts<RegionVid, BorrowIndex, LocationIndex>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Methods
impl<'a, 'gcx, 'tcx> ConstraintConversion<'a, 'gcx, 'tcx>
[src]
impl<'a, 'gcx, 'tcx> ConstraintConversion<'a, 'gcx, 'tcx>
pub(crate) fn new(
tcx: TyCtxt<'a, 'gcx, 'tcx>,
universal_regions: &'a UniversalRegions<'tcx>,
location_table: &'a LocationTable,
region_bound_pairs: &'a [(Region<'tcx>, GenericKind<'tcx>)],
implicit_region_bound: Option<Region<'tcx>>,
param_env: ParamEnv<'tcx>,
locations: Locations,
outlives_constraints: &'a mut ConstraintSet,
type_tests: &'a mut Vec<TypeTest<'tcx>>,
all_facts: &'a mut Option<PoloniusAllFacts<RegionVid, BorrowIndex, LocationIndex>>
) -> Self
[src]
pub(crate) fn new(
tcx: TyCtxt<'a, 'gcx, 'tcx>,
universal_regions: &'a UniversalRegions<'tcx>,
location_table: &'a LocationTable,
region_bound_pairs: &'a [(Region<'tcx>, GenericKind<'tcx>)],
implicit_region_bound: Option<Region<'tcx>>,
param_env: ParamEnv<'tcx>,
locations: Locations,
outlives_constraints: &'a mut ConstraintSet,
type_tests: &'a mut Vec<TypeTest<'tcx>>,
all_facts: &'a mut Option<PoloniusAllFacts<RegionVid, BorrowIndex, LocationIndex>>
) -> Self
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
pub(super) fn convert_all(
&mut self,
query_constraints: &[QueryRegionConstraint<'tcx>]
)
[src]
pub(super) fn convert_all(
&mut self,
query_constraints: &[QueryRegionConstraint<'tcx>]
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
pub(super) fn convert(
&mut self,
query_constraint: &QueryRegionConstraint<'tcx>
)
[src]
pub(super) fn convert(
&mut self,
query_constraint: &QueryRegionConstraint<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn verify_to_type_test(
&self,
generic_kind: GenericKind<'tcx>,
region: Region<'tcx>,
bound: VerifyBound<'tcx>
) -> TypeTest<'tcx>
[src]
fn verify_to_type_test(
&self,
generic_kind: GenericKind<'tcx>,
region: Region<'tcx>,
bound: VerifyBound<'tcx>
) -> TypeTest<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn verify_bound_to_region_test(
&self,
verify_bound: &VerifyBound<'tcx>
) -> RegionTest
[src]
fn verify_bound_to_region_test(
&self,
verify_bound: &VerifyBound<'tcx>
) -> RegionTest
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn to_region_vid(&self, r: Region<'tcx>) -> RegionVid
[src]
fn to_region_vid(&self, r: Region<'tcx>) -> RegionVid
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_outlives(&mut self, sup: RegionVid, sub: RegionVid)
[src]
fn add_outlives(&mut self, sup: RegionVid, sub: RegionVid)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn add_type_test(&mut self, type_test: TypeTest<'tcx>)
[src]
fn add_type_test(&mut self, type_test: TypeTest<'tcx>)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Trait Implementations
impl<'a, 'b, 'gcx, 'tcx> TypeOutlivesDelegate<'tcx> for &'a mut ConstraintConversion<'b, 'gcx, 'tcx>
[src]
impl<'a, 'b, 'gcx, 'tcx> TypeOutlivesDelegate<'tcx> for &'a mut ConstraintConversion<'b, 'gcx, 'tcx>
fn push_sub_region_constraint(
&mut self,
_origin: SubregionOrigin<'tcx>,
a: Region<'tcx>,
b: Region<'tcx>
)
[src]
fn push_sub_region_constraint(
&mut self,
_origin: SubregionOrigin<'tcx>,
a: Region<'tcx>,
b: Region<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn push_verify(
&mut self,
_origin: SubregionOrigin<'tcx>,
kind: GenericKind<'tcx>,
a: Region<'tcx>,
bound: VerifyBound<'tcx>
)
[src]
fn push_verify(
&mut self,
_origin: SubregionOrigin<'tcx>,
kind: GenericKind<'tcx>,
a: Region<'tcx>,
bound: VerifyBound<'tcx>
)
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Auto Trait Implementations
impl<'a, 'gcx, 'tcx> !Send for ConstraintConversion<'a, 'gcx, 'tcx>
impl<'a, 'gcx, 'tcx> !Send for ConstraintConversion<'a, 'gcx, 'tcx>
impl<'a, 'gcx, 'tcx> !Sync for ConstraintConversion<'a, 'gcx, 'tcx>
impl<'a, 'gcx, 'tcx> !Sync for ConstraintConversion<'a, 'gcx, 'tcx>