Enum ra_ap_hir_def::hir::type_ref::TypeRef
source · pub enum TypeRef {
Show 13 variants
Never,
Placeholder,
Tuple(Vec<TypeRef>),
Path(Path),
RawPtr(Box<TypeRef>, Mutability),
Reference(Box<TypeRef>, Option<LifetimeRef>, Mutability),
Array(Box<TypeRef>, ConstRef),
Slice(Box<TypeRef>),
Fn(Vec<(Option<Name>, TypeRef)>, bool, bool, Option<Interned<str>>),
ImplTrait(Vec<Interned<TypeBound>>),
DynTrait(Vec<Interned<TypeBound>>),
Macro(AstId<MacroCall>),
Error,
}
Expand description
Compare ty::Ty
Note: Most users of TypeRef
that end up in the salsa database intern it using
Interned<TypeRef>
to save space. But notably, nested TypeRef
s are not interned, since that
does not seem to save any noticeable amount of memory.
Variants§
Never
Placeholder
Tuple(Vec<TypeRef>)
Path(Path)
RawPtr(Box<TypeRef>, Mutability)
Reference(Box<TypeRef>, Option<LifetimeRef>, Mutability)
Array(Box<TypeRef>, ConstRef)
Slice(Box<TypeRef>)
Fn(Vec<(Option<Name>, TypeRef)>, bool, bool, Option<Interned<str>>)
A fn pointer. Last element of the vector is the return type.
ImplTrait(Vec<Interned<TypeBound>>)
DynTrait(Vec<Interned<TypeBound>>)
Macro(AstId<MacroCall>)
Error
Implementations§
Trait Implementations§
source§impl Internable for TypeRef
impl Internable for TypeRef
fn storage() -> &'static InternStorage<Self>
source§impl PartialEq for TypeRef
impl PartialEq for TypeRef
impl Eq for TypeRef
impl StructuralPartialEq for TypeRef
Auto Trait Implementations§
impl Freeze for TypeRef
impl RefUnwindSafe for TypeRef
impl Send for TypeRef
impl Sync for TypeRef
impl Unpin for TypeRef
impl UnwindSafe for TypeRef
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<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