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

pub enum TyKind {
Show variants
    Slice(P<Ty>),
    Array(P<Ty>, AnonConst),
    Ptr(MutTy),
    Rptr(Option<Lifetime>, MutTy),
    BareFn(P<BareFnTy>),
    Never,
    Tup(Vec<P<Ty>>),
    AnonymousStruct(Vec<FieldDef>, bool),
    AnonymousUnion(Vec<FieldDef>, bool),
    Path(Option<QSelf>, Path),
    TraitObject(GenericBounds, TraitObjectSyntax),
    ImplTrait(NodeId, GenericBounds),
    Paren(P<Ty>),
    Typeof(AnonConst),
    Infer,
    ImplicitSelf,
    MacCall(MacCall),
    Err,
    CVarArgs,
}

Expand description

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).

Rptr(Option<Lifetime>, MutTy)

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,...)).

AnonymousStruct(Vec<FieldDef>, bool)

An anonymous struct type i.e. struct { foo: Type }

AnonymousUnion(Vec<FieldDef>, bool)

An anonymous union type i.e. union { bar: Type }

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.

TraitObject(GenericBounds, TraitObjectSyntax)

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

ImplTrait(NodeId, GenericBounds)

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.

Implementations

`impl TyKind`[src]

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

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

Trait Implementations

`impl Clone for TyKind`[src]

`fn clone(&self) -> TyKind`[src]

Returns a copy of the value. Read more

`fn clone_from(&mut self, source: &Self)`1.0.0 [src]

Performs copy-assignment from source. Read more

`impl Debug for TyKind`[src]

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

Formats the value using the given formatter. Read more

`impl<D: Decoder> Decodable<D> for TyKind`[src]

`fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>`[src]

`impl<E: Encoder> Encodable<E> for TyKind`[src]

`fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>`[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]

`pub fn type_id(&self) -> TypeId`[src]

Gets the TypeId of self. Read more

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

`pub fn borrow(&self) -> &T`[src]

Immutably borrows from an owned value. Read more

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

Mutably borrows from an owned value. Read more

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

`pub fn from(t: T) -> T`[src]

Performs the conversion.

`impl<T> Instrument for T`[src]

`fn instrument(self, span: Span) -> Instrumented<Self>`[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

`fn in_current_span(self) -> Instrumented<Self>`[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

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

`pub fn into(self) -> U`[src]

Performs the conversion.

`impl<T> Same<T> for T`

`type Output = T`

Should always be Self

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

`type Owned = T`

The resulting type after obtaining ownership.

`pub fn to_owned(&self) -> T`[src]

Creates owned data from borrowed data, usually by cloning. Read more

`pub fn clone_into(&self, target: &mut T)`[src]

🔬 This is a nightly-only experimental API. (toowned_clone_into)

recently added

Uses borrowed data to replace owned data, usually by cloning. Read more

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

`type Error = Infallible`

The type returned in the event of a conversion error.

`pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>`[src]

Performs the conversion.

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

`type Error = >::Error`

The type returned in the event of a conversion error.

`pub fn try_into(self) -> Result<U, >::Error>`[src]

Performs the conversion.

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

Variants

Implementations

impl TyKind[src]

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

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

Trait Implementations

impl Clone for TyKind[src]

fn clone(&self) -> TyKind[src]

fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for TyKind[src]

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

impl<__D: Decoder> Decodable<__D> for TyKind[src]

fn decode(__decoder: &mut __D) -> Result<Self, <__D as Decoder>::Error>[src]

impl<__E: Encoder> Encodable<__E> for TyKind[src]

fn encode(&self, __encoder: &mut __E) -> Result<(), <__E as Encoder>::Error>[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]

pub fn type_id(&self) -> TypeId[src]

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

pub fn borrow(&self) -> &T[src]

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

pub fn borrow_mut(&mut self) -> &mut T[src]

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

pub fn from(t: T) -> T[src]

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>[src]

fn in_current_span(self) -> Instrumented<Self>[src]

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

pub fn into(self) -> U[src]

impl<T> Same<T> for T

type Output = T

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

type Owned = T

pub fn to_owned(&self) -> T[src]

pub fn clone_into(&self, target: &mut T)[src]

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

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

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

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

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<V, T> VZip<V> for T where V: MultiLane<T>,

pub fn vzip(self) -> V

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

impl<T> Erased for T[src]

`impl TyKind`[src]

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

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

`impl Clone for TyKind`[src]

`fn clone(&self) -> TyKind`[src]

`fn clone_from(&mut self, source: &Self)`1.0.0 [src]

`impl Debug for TyKind`[src]

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

`impl<D: Decoder> Decodable<D> for TyKind`[src]

`fn decode(decoder: &mut D) -> Result<Self, <__D as Decoder>::Error>`[src]

`impl<E: Encoder> Encodable<E> for TyKind`[src]

`fn encode(&self, encoder: &mut E) -> Result<(), <__E as Encoder>::Error>`[src]

`impl !RefUnwindSafe for TyKind`

`impl !Send for TyKind`

`impl !Sync for TyKind`

`impl Unpin for TyKind`

`impl !UnwindSafe for TyKind`

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

`pub fn type_id(&self) -> TypeId`[src]

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

`pub fn borrow(&self) -> &T`[src]

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

`pub fn borrow_mut(&mut self) -> &mut T`[src]

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

`pub fn from(t: T) -> T`[src]

`impl<T> Instrument for T`[src]

`fn instrument(self, span: Span) -> Instrumented<Self>`[src]

`fn in_current_span(self) -> Instrumented<Self>`[src]

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

`pub fn into(self) -> U`[src]

`impl<T> Same<T> for T`

`type Output = T`

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

`type Owned = T`

`pub fn to_owned(&self) -> T`[src]

`pub fn clone_into(&self, target: &mut T)`[src]

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

`type Error = Infallible`

`pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

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

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

`pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<V, T> VZip<V> for T where V: MultiLane<T>,`

`pub fn vzip(self) -> V`

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

`impl<T> Erased for T`[src]