[][src]Enum rustc_ap_rustc_ast::ast::TyKind

pub enum TyKind {
    Slice(P<Ty>),
    Array(P<Ty>, AnonConst),
    Ptr(MutTy),
    Rptr(Option<Lifetime>, MutTy),
    BareFn(P<BareFnTy>),
    Never,
    Tup(Vec<P<Ty>>),
    Path(Option<QSelf>, Path),
    TraitObject(GenericBoundsTraitObjectSyntax),
    ImplTrait(NodeIdGenericBounds),
    Paren(P<Ty>),
    Typeof(AnonConst),
    Infer,
    ImplicitSelf,
    MacCall(MacCall),
    Err,
    CVarArgs,
}

The various kinds of type recognized by the compiler.

Variants

Slice(P<Ty>)

A variable-length slice ([T]).

Array(P<Ty>, AnonConst)

A fixed length array ([T; n]).

Ptr(MutTy)

A raw pointer (*const T or *mut T).

A reference (&'a T or &'a mut T).

BareFn(P<BareFnTy>)

A bare function (e.g., fn(usize) -> bool).

Never

The never type (!).

Tup(Vec<P<Ty>>)

A tuple ((A, B, C, D,...)).

Path(Option<QSelf>, Path)

A path (module::module::...::Type), optionally "qualified", e.g., <Vec<T> as SomeTrait>::SomeType.

Type parameters are stored in the Path itself.

A trait object type Bound1 + Bound2 + Bound3 where Bound is a trait or a lifetime.

ImplTrait(NodeIdGenericBounds)

An impl Bound1 + Bound2 + Bound3 type where Bound is a trait or a lifetime.

The NodeId exists to prevent lowering from having to generate NodeIds on the fly, which would complicate the generation of opaque type Foo = impl Trait items significantly.

Paren(P<Ty>)

No-op; kept solely so that we can pretty-print faithfully.

Typeof(AnonConst)

Unused for now.

Infer

This means the type should be inferred instead of it having been specified. This can appear anywhere in a type.

ImplicitSelf

Inferred type of a self or &self argument in a method.

MacCall(MacCall)

A macro in the type position.

Err

Placeholder for a kind that has failed to be defined.

CVarArgs

Placeholder for a va_list.

Methods

impl TyKind[src]

pub fn is_implicit_self(&self) -> bool[src]

pub fn is_unit(&self) -> bool[src]

pub fn opaque_top_hack(&self) -> Option<&GenericBounds>[src]

HACK(type_alias_impl_trait, Centril): A temporary crutch used in lowering to avoid making larger changes there and beyond.

Trait Implementations

impl Clone for TyKind[src]

impl Debug for TyKind[src]

impl Decodable for TyKind[src]

impl Encodable for TyKind[src]

Auto Trait Implementations

impl !RefUnwindSafe for TyKind

impl !Send for TyKind

impl !Sync for TyKind

impl Unpin for TyKind

impl !UnwindSafe for TyKind

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized
[src]

impl<T> Decodable for T where
    T: UseSpecializedDecodable
[src]

impl<T> Encodable for T where
    T: UseSpecializedEncodable + ?Sized
[src]

impl<T> Erased for T[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<E> SpecializationError for E[src]

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.