Struct Ty

#[repr(C)]
pub struct Ty<'hir, Unambig = ()> {
    pub hir_id: HirId,
    pub span: Span,
    pub kind: TyKind<'hir, Unambig>,
}

Represents a type in the HIR.

The Unambig generic parameter represents whether the position this type is from is unambiguously a type or ambiguous as to whether it is a type or a const. When in an ambiguous context the parameter is instantiated with an uninhabited type making the TyKind::Infer variant unusable and GenericArg::Infer is used instead.

Fields

hir_id: HirId

span: Span

kind: TyKind<'hir, Unambig>

Implementations

impl<'hir> Ty<'hir, AmbigArg>

pub fn as_unambig_ty(&self) -> &Ty<'hir>

Converts a Ty in an ambiguous position to one in an unambiguous position.

Functions accepting an unambiguous types may expect the TyKind::Infer variant to be used. Care should be taken to separately handle infer types when calling this function as it cannot be handled by downstream code making use of the returned ty.

In practice this may mean overriding the Visitor::visit_infer method on hir visitors, or specifically matching on GenericArg::Infer when handling generic arguments.

impl<'hir> Ty<'hir>

pub fn try_as_ambig_ty(&self) -> Option<&Ty<'hir, AmbigArg>>

Converts a Ty in an unambigous position to one in an ambiguous position. This is fallible as the TyKind::Infer variant is not present in ambiguous positions.

Functions accepting ambiguous types will not handle the TyKind::Infer variant, if infer types are relevant to you then care should be taken to handle them separately.

impl<'hir> Ty<'hir, AmbigArg>

pub fn peel_refs(&self) -> &Ty<'hir>

impl<'hir> Ty<'hir>

pub fn peel_refs(&self) -> &Self

pub fn as_generic_param(&self) -> Option<(DefId, Ident)>

Returns true if param_def_id matches the bounded_ty of this predicate.

pub fn find_self_aliases(&self) -> Vec<Span>

pub fn is_suggestable_infer_ty(&self) -> bool

Whether ty is a type with _ placeholders that can be inferred. Used in diagnostics only to use inference to provide suggestions for the appropriate type if possible.

Trait Implementations

impl<'hir, Unambig: Clone> Clone for Ty<'hir, Unambig>

fn clone(&self) -> Ty<'hir, Unambig>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'hir, Unambig: Debug> Debug for Ty<'hir, Unambig>

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

Formats the value using the given formatter.

impl<'hir> From<&'hir Ty<'hir>> for Term<'hir>

fn from(ty: &'hir Ty<'hir>) -> Self

Converts to this type from the input type.

impl<'hir, Unambig, __CTX> HashStable<__CTX> for Ty<'hir, Unambig>

where __CTX: HashStableContext, Unambig: HashStable<__CTX>,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl<'hir, Unambig: Copy> Copy for Ty<'hir, Unambig>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.