Struct rustc_mir::borrow_check::nll::type_check::constraint_conversion::ConstraintConversion [−][src]
pub(crate) struct ConstraintConversion<'a, 'tcx: 'a> { mir: &'a Mir<'tcx>, universal_regions: &'a UniversalRegions<'tcx>, location_table: &'a LocationTable, outlives_constraints: &'a mut Vec<OutlivesConstraint>, 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
mir: &'a Mir<'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?
outlives_constraints: &'a mut Vec<OutlivesConstraint>
🔬 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, 'tcx> ConstraintConversion<'a, 'tcx>
[src]
impl<'a, 'tcx> ConstraintConversion<'a, 'tcx>
pub(crate) fn new(
mir: &'a Mir<'tcx>,
universal_regions: &'a UniversalRegions<'tcx>,
location_table: &'a LocationTable,
outlives_constraints: &'a mut Vec<OutlivesConstraint>,
type_tests: &'a mut Vec<TypeTest<'tcx>>,
all_facts: &'a mut Option<PoloniusAllFacts<RegionVid, BorrowIndex, LocationIndex>>
) -> Self
[src]
pub(crate) fn new(
mir: &'a Mir<'tcx>,
universal_regions: &'a UniversalRegions<'tcx>,
location_table: &'a LocationTable,
outlives_constraints: &'a mut Vec<OutlivesConstraint>,
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(crate) fn convert(
&mut self,
locations: Locations,
data: &RegionConstraintData<'tcx>
)
[src]
pub(crate) fn convert(
&mut self,
locations: Locations,
data: &RegionConstraintData<'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,
verify: &Verify<'tcx>,
span: Span,
locations: Locations
) -> TypeTest<'tcx>
[src]
fn verify_to_type_test(
&self,
verify: &Verify<'tcx>,
span: Span,
locations: Locations
) -> 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,
span: Span,
sup: RegionVid,
sub: RegionVid,
point: Location
)
[src]
fn add_outlives(
&mut self,
span: Span,
sup: RegionVid,
sub: RegionVid,
point: Location
)
🔬 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?
Auto Trait Implementations
impl<'a, 'tcx> !Send for ConstraintConversion<'a, 'tcx>
impl<'a, 'tcx> !Send for ConstraintConversion<'a, 'tcx>
impl<'a, 'tcx> !Sync for ConstraintConversion<'a, 'tcx>
impl<'a, 'tcx> !Sync for ConstraintConversion<'a, 'tcx>