Enum hir::TypeRef

pub enum TypeRef {
    Never,
    Placeholder,
    Tuple(EmptyOptimizedThinVec<Idx<TypeRef>>),
    Path(Path),
    RawPtr(Idx<TypeRef>, Mutability),
    Reference(Box<RefType>),
    Array(Box<ArrayType>),
    Slice(Idx<TypeRef>),
    Fn(FnType),
    ImplTrait(ThinVec<TypeBound>),
    DynTrait(ThinVec<TypeBound>),
    Macro(InFileWrapper<HirFileId, FileAstId<MacroCall>>),
    Error,
}

Compare ty::Ty

Variants

Never

Placeholder

Tuple(EmptyOptimizedThinVec<Idx<TypeRef>>)

Path(Path)

RawPtr(Idx<TypeRef>, Mutability)

Reference(Box<RefType>)

Array(Box<ArrayType>)

Slice(Idx<TypeRef>)

Fn(FnType)

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

ImplTrait(ThinVec<TypeBound>)

DynTrait(ThinVec<TypeBound>)

Macro(InFileWrapper<HirFileId, FileAstId<MacroCall>>)

Error

Implementations

impl TypeRef

pub fn from_ast(ctx: &mut LowerCtx<'_>, node: Type) -> Idx<TypeRef>

Converts an ast::TypeRef to a hir::TypeRef.

pub fn walk(this: Idx<TypeRef>, map: &TypesMap, 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 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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for TypeRef

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TypeRef

impl StructuralPartialEq for TypeRef