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>, ConstScalar),
    Slice(Box<TypeRef, Global>),
    Fn(Vec<TypeRef, Global>, bool),
    ImplTrait(Vec<Interned<TypeBound>, Global>),
    DynTrait(Vec<Interned<TypeBound>, Global>),
    Macro(InFile<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, Global>)

Path(Path)

RawPtr(Box<TypeRef, Global>, Mutability)

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

Array(Box<TypeRef, Global>, ConstScalar)

Slice(Box<TypeRef, Global>)

Fn(Vec<TypeRef, Global>, bool)

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

ImplTrait(Vec<Interned<TypeBound>, Global>)

DynTrait(Vec<Interned<TypeBound>, Global>)

Macro(InFile<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

pub 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

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

Formats the value using the given formatter.

impl Hash for TypeRef

pub 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 HirDisplay for TypeRef

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

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

Returns a Displayable type that is human-readable.

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

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

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

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_source_code(
    &'a self,
    db: &'a (dyn HirDatabase + 'a),
    module_id: ModuleId
) -> 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 self,
    db: &'a (dyn HirDatabase + 'a)
) -> HirDisplayWrapper<'a, Self>

Returns a String representation of self for test purposes

impl Internable for TypeRef

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

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 Eq for TypeRef

impl StructuralEq for TypeRef

impl StructuralPartialEq for TypeRef