Struct rustc_mir::borrow_check::nll::subtype_constraint_generation::SubtypeConstraintGenerator [−][src]
struct SubtypeConstraintGenerator<'cx, 'tcx: 'cx> { regioncx: &'cx mut RegionInferenceContext<'tcx>, location_table: &'cx LocationTable, mir: &'cx 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?
Fields
regioncx: &'cx mut RegionInferenceContext<'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: &'cx 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?
mir: &'cx 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?
Methods
impl<'cx, 'tcx> SubtypeConstraintGenerator<'cx, 'tcx>
[src]
impl<'cx, 'tcx> SubtypeConstraintGenerator<'cx, 'tcx>
fn generate(
&mut self,
constraints: &MirTypeckRegionConstraints<'tcx>,
all_facts: &mut Option<AllFacts>
)
[src]
fn generate(
&mut self,
constraints: &MirTypeckRegionConstraints<'tcx>,
all_facts: &mut Option<AllFacts>
)
🔬 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?
Auto Trait Implementations
impl<'cx, 'tcx> !Send for SubtypeConstraintGenerator<'cx, 'tcx>
impl<'cx, 'tcx> !Send for SubtypeConstraintGenerator<'cx, 'tcx>
impl<'cx, 'tcx> !Sync for SubtypeConstraintGenerator<'cx, 'tcx>
impl<'cx, 'tcx> !Sync for SubtypeConstraintGenerator<'cx, 'tcx>