Enum hir::TypeRef

pub enum TypeRef {
    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(InFileWrapper<HirFileId, FileAstId<MacroCall>>),
    Error,
}

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 TypeRefs 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(InFileWrapper<HirFileId, FileAstId<MacroCall>>)

Error

Implementations

impl TypeRef

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

Converts an ast::TypeRef to a hir::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 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 HirDisplay for TypeRef

fn hir_fmt(&self, f: &mut HirFormatter<'_>) -> Result<(), HirDisplayError>

fn into_displayable<'a>( &'a self, db: &'a dyn HirDatabase, max_size: Option<usize>, limited_size: Option<usize>, omit_verbose_types: bool, display_target: DisplayTarget, closure_style: ClosureStyle ) -> HirDisplayWrapper<'a, Self>

where Self: Sized,

Returns a Displayable type that is human-readable.

fn display<'a>(&'a self, db: &'a dyn HirDatabase) -> HirDisplayWrapper<'a, Self>

where Self: Sized,

Returns a Displayable type that is human-readable. Use this for showing types to the user (e.g. diagnostics)

fn display_truncated<'a>( &'a self, db: &'a dyn HirDatabase, max_size: Option<usize> ) -> HirDisplayWrapper<'a, Self>

where Self: Sized,

Returns a Displayable type that is human-readable and tries to be succinct. Use this for showing types to the user where space is constrained (e.g. doc popups)

fn display_limited<'a>( &'a self, db: &'a dyn HirDatabase, limited_size: Option<usize> ) -> HirDisplayWrapper<'a, Self>

where Self: Sized,

Returns a Displayable type that is human-readable and tries to limit the number of items inside. Use this for showing definitions which may contain too many items, like trait, struct, enum

fn display_source_code<'a>( &'a self, db: &'a dyn HirDatabase, module_id: ModuleId, allow_opaque: bool ) -> Result<String, DisplaySourceCodeError>

Returns a String representation of self that can be inserted into the given module. Use this when generating code (e.g. assists)

fn display_test<'a>( &'a self, db: &'a dyn HirDatabase ) -> HirDisplayWrapper<'a, Self>

where Self: Sized,

Returns a String representation of self for test purposes

impl Internable for TypeRef

fn storage() -> &'static InternStorage<TypeRef>

impl PartialEq 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: &Rhs) -> bool

This method 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