Struct rustc_data_structures::unify::InPlace

source ·
pub struct InPlace<K, V = Vec<VarValue<K>>, L = VecLog<UndoLog<Delegate<K>>>>
where K: UnifyKey, V: VecLike<Delegate<K>>,
{ pub(crate) values: SnapshotVec<Delegate<K>, V, L>, }
Expand description

Backing store for an in-place unification table. Not typically used directly.

Fields§

§values: SnapshotVec<Delegate<K>, V, L>

Trait Implementations§

source§

impl<K, V, L> Clone for InPlace<K, V, L>
where K: Clone + UnifyKey, V: Clone + VecLike<Delegate<K>>, L: Clone,

source§

fn clone(&self) -> InPlace<K, V, L>

Returns a copy of the value. Read more
1.0.0 · source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
source§

impl<K, V, L> Debug for InPlace<K, V, L>
where K: Debug + UnifyKey, V: Debug + VecLike<Delegate<K>>, L: Debug,

source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter. Read more
source§

impl<K, V, L> Default for InPlace<K, V, L>
where K: UnifyKey, V: VecLike<Delegate<K>> + Default, L: Default,

source§

fn default() -> InPlace<K, V, L>

Returns the “default value” for a type. Read more
source§

impl<K, V, L> Index<usize> for InPlace<K, V, L>
where V: VecLike<Delegate<K>>, K: UnifyKey,

§

type Output = VarValue<K>

The returned type after indexing.
source§

fn index(&self, index: usize) -> &VarValue<K>

Performs the indexing (container[index]) operation. Read more
source§

impl<K, V, L> UnificationStore for InPlace<K, V, L>
where K: UnifyKey, V: VecLike<Delegate<K>>, L: Snapshots<UndoLog<Delegate<K>>>,

§

type Snapshot = Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>

source§

fn start_snapshot( &mut self, ) -> Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>

source§

fn rollback_to( &mut self, snapshot: Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>, )

source§

fn commit( &mut self, snapshot: Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>, )

source§

fn values_since_snapshot( &self, snapshot: &Snapshot<<L as Snapshots<UndoLog<Delegate<K>>>>::Snapshot>, ) -> Range<usize>

source§

impl<K, V, L> UnificationStoreBase for InPlace<K, V, L>
where K: UnifyKey, V: VecLike<Delegate<K>>,

§

type Key = K

§

type Value = <K as UnifyKey>::Value

source§

fn len(&self) -> usize

source§

fn tag() -> &'static str

source§

impl<K, V, L> UnificationStoreMut for InPlace<K, V, L>
where K: UnifyKey, V: VecLike<Delegate<K>>, L: UndoLogs<UndoLog<Delegate<K>>>,

source§

fn reset_unifications(&mut self, value: impl FnMut(u32) -> VarValue<K>)

source§

fn push(&mut self, value: VarValue<K>)

source§

fn reserve(&mut self, num_new_values: usize)

source§

fn update<F>(&mut self, index: usize, op: F)
where F: FnOnce(&mut VarValue<K>),

Auto Trait Implementations§

§

impl<K, V, L> Freeze for InPlace<K, V, L>
where V: Freeze, L: Freeze,

§

impl<K, V, L> RefUnwindSafe for InPlace<K, V, L>

§

impl<K, V, L> Send for InPlace<K, V, L>
where V: Send, L: Send, K: Send,

§

impl<K, V, L> Sync for InPlace<K, V, L>
where V: Sync, L: Sync, K: Sync,

§

impl<K, V, L> Unpin for InPlace<K, V, L>
where V: Unpin, L: Unpin, K: Unpin,

§

impl<K, V, L> UnwindSafe for InPlace<K, V, L>
where V: UnwindSafe, L: UnwindSafe, K: UnwindSafe,

Blanket Implementations§

source§

impl<T> Aligned for T

source§

const ALIGN: Alignment = const ALIGN: Alignment = Alignment::of::<Self>();

Alignment of Self.
source§

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

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

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

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

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

source§

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

Mutably borrows from an owned value. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T> Instrument for T

source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
source§

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

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> IntoEither for T

source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts self into a Left variant of Either<Self, Self> if into_left is true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts self into a Left variant of Either<Self, Self> if into_left(&self) returns true. Converts self into a Right variant of Either<Self, Self> otherwise. Read more
source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

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

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

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

Performs the conversion.
source§

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.
source§

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

Performs the conversion.
source§

impl<T> WithSubscriber for T

source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more
source§

impl<'a, T> Captures<'a> for T
where T: ?Sized,

Layout§

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.