pub struct ExprUse {
pub const_value_id: StatementUseId,
pub ty: TypeId,
pub stable_ptr: ExprPtr,
}
Fields§
§const_value_id: StatementUseId
§ty: TypeId
§stable_ptr: ExprPtr
Trait Implementations§
Source§impl<'a, T: ?Sized + Upcast<ExprFormatter<'a>>> DebugWithDb<T> for ExprUse
impl<'a, T: ?Sized + Upcast<ExprFormatter<'a>>> DebugWithDb<T> for ExprUse
Source§impl<T: SemanticRewriter<StatementUseId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprUse
impl<T: SemanticRewriter<StatementUseId, Error> + SemanticRewriter<TypeId, Error>, Error> SemanticObject<T, Error> for ExprUse
fn default_rewrite(&mut self, rewriter: &mut T) -> Result<RewriteResult, Error>
impl Eq for ExprUse
impl StructuralPartialEq for ExprUse
Auto Trait Implementations§
impl Freeze for ExprUse
impl RefUnwindSafe for ExprUse
impl Send for ExprUse
impl Sync for ExprUse
impl Unpin for ExprUse
impl UnwindSafe for ExprUse
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
Compare self to
key
and return true
if they are equal.Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
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 moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
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