Enum syntax::ast::TyKind [] [src]

pub enum TyKind {
    Slice(P<Ty>),
    Array(P<Ty>, P<Expr>),
    Ptr(MutTy),
    Rptr(Option<Lifetime>, MutTy),
    BareFn(P<BareFnTy>),
    Never,
    Tup(Vec<P<Ty>>),
    Path(Option<QSelf>, Path),
    TraitObject(TyParamBoundsTraitObjectSyntax),
    ImplTrait(TyParamBounds),
    Paren(P<Ty>),
    Typeof(P<Expr>),
    Infer,
    ImplicitSelf,
    Mac(Mac),
    Err,
}

The different kinds of types recognized by the compiler

Variants

A variable-length slice ([T])

A fixed length array ([T; n])

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

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

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

The never type (!)

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

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.

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

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

Unused for now

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

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

Placeholder for a kind that has failed to be defined.

Trait Implementations

impl Clone for TyKind
[src]

[src]

Returns a copy of the value. Read more

1.0.0
[src]

Performs copy-assignment from source. Read more

impl PartialEq for TyKind
[src]

[src]

This method tests for self and other values to be equal, and is used by ==. Read more

[src]

This method tests for !=.

impl Eq for TyKind
[src]

impl Encodable for TyKind
[src]

[src]

impl Decodable for TyKind
[src]

[src]

impl Hash for TyKind
[src]

[src]

Feeds this value into the given [Hasher]. Read more

1.3.0
[src]

Feeds a slice of this type into the given [Hasher]. Read more

impl Debug for TyKind
[src]

[src]

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl !Send for TyKind

impl !Sync for TyKind