Enum ra_ap_hir::TypeRef

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

Compare ty::Ty

Variants

Never

Placeholder

Tuple(Vec<TypeRef>)

Path(Path)

RawPtr(Box<TypeRef>, Mutability)

Reference(Box<TypeRef>, Mutability)

Array(Box<TypeRef>)

Slice(Box<TypeRef>)

Fn(Vec<TypeRef>, bool)

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

ImplTrait(Vec<TypeBound>)

DynTrait(Vec<TypeBound>)

Error

Implementations

impl TypeRef

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

Trait Implementations

impl Clone for TypeRef

fn clone(&self) -> TypeRef

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeRef

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

Formats the value using the given formatter.

impl Eq for TypeRef

impl Hash for TypeRef

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

Feeds this value into the given [Hasher].

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

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

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

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

This method tests for !=.