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>