Enum ra_ap_hir::TypeRef

pub enum TypeRef {
    Never,
    Placeholder,
    Tuple(Vec<TypeRef, Global>),
    Path(Path),
    RawPtr(Box<TypeRef, Global>, Mutability),
    Reference(Box<TypeRef, Global>, Option<LifetimeRef>, Mutability),
    Array(Box<TypeRef, Global>),
    Slice(Box<TypeRef, Global>),
    Fn(Vec<TypeRef, Global>, bool),
    ImplTrait(Vec<TypeBound, Global>),
    DynTrait(Vec<TypeBound, Global>),
    Error,
}

Compare ty::Ty

Variants

Never

Placeholder

Tuple(Vec<TypeRef, Global>)

Path(Path)

RawPtr(Box<TypeRef, Global>, Mutability)

Reference(Box<TypeRef, Global>, Option<LifetimeRef>, Mutability)

Array(Box<TypeRef, Global>)

Slice(Box<TypeRef, Global>)

Fn(Vec<TypeRef, Global>, bool)

A fn pointer. Last element of the vector is the return type.

ImplTrait(Vec<TypeBound, Global>)

DynTrait(Vec<TypeBound, Global>)

Error

Implementations

impl TypeRef

pub fn walk(&self, f: &mut impl FnMut(&TypeRef))

Trait Implementations

impl Clone for TypeRef

pub fn clone(&self) -> TypeRef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRef

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

Formats the value using the given formatter.

impl Eq for TypeRef

impl Hash for TypeRef

pub fn hash<__H>(&self, state: &mut __H) where
    __H: Hasher, 

Feeds this value into the given Hasher.

pub fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<TypeRef> for TypeRef

pub fn eq(&self, other: &TypeRef) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &TypeRef) -> bool

This method tests for !=.

impl StructuralEq for TypeRef

impl StructuralPartialEq for TypeRef