Struct rustc_mir::borrow_check::type_check::free_region_relations::UniversalRegionRelationsBuilder[−][src]

struct UniversalRegionRelationsBuilder<'this, 'tcx> {
    infcx: &'this InferCtxt<'this, 'tcx>,
    param_env: ParamEnv<'tcx>,
    universal_regions: Rc<UniversalRegions<'tcx>>,
    implicit_region_bound: Option<Region<'tcx>>,
    constraints: &'this mut MirTypeckRegionConstraints<'tcx>,
    relations: UniversalRegionRelations<'tcx>,
    region_bound_pairs: Vec<(Region<'tcx>, GenericKind<'tcx>)>,
}

Fields

infcx: &'this InferCtxt<'this, 'tcx>param_env: ParamEnv<'tcx>universal_regions: Rc<UniversalRegions<'tcx>>implicit_region_bound: Option<Region<'tcx>>constraints: &'this mut MirTypeckRegionConstraints<'tcx>relations: UniversalRegionRelations<'tcx>region_bound_pairs: Vec<(Region<'tcx>, GenericKind<'tcx>)>

Implementations

impl<'cx, 'tcx> UniversalRegionRelationsBuilder<'cx, 'tcx>

pub(crate) fn create(self) -> CreateResult<'tcx>

fn add_implied_bounds(
    &mut self, 
    ty: Ty<'tcx>
) -> Option<Rc<QueryRegionConstraints<'tcx>>>

Update the type of a single local, which should represent either the return type of the MIR or one of its arguments. At the same time, compute and add any implied bounds that come from this local.

fn add_outlives_bounds<I>(&mut self, outlives_bounds: I) where
    I: IntoIterator<Item = OutlivesBound<'tcx>>,

Registers the OutlivesBound items from outlives_bounds in the outlives relation as well as the region-bound pairs listing.

Auto Trait Implementations

impl<'this, 'tcx> !RefUnwindSafe for UniversalRegionRelationsBuilder<'this, 'tcx>

impl<'this, 'tcx> !Send for UniversalRegionRelationsBuilder<'this, 'tcx>

impl<'this, 'tcx> !Sync for UniversalRegionRelationsBuilder<'this, 'tcx>

impl<'this, 'tcx> Unpin for UniversalRegionRelationsBuilder<'this, 'tcx> where
    'tcx: 'this,

impl<'this, 'tcx> !UnwindSafe for UniversalRegionRelationsBuilder<'this, 'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized,

pub fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more

impl<T> From<T> for T

pub fn from(t: T) -> T

Performs the conversion.

impl<T, U> Into<U> for T where
    U: From<T>,

pub fn into(self) -> U

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.

impl<T> WithConstness for T

fn with_constness(self, constness: Constness) -> ConstnessAnd<Self>

fn with_const(self) -> ConstnessAnd<Self>

fn without_const(self) -> ConstnessAnd<Self>

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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: 328 bytes