Enum TypeAnnotation 

#[non_exhaustive]
pub enum TypeAnnotation {
    Absent,
    Present(Type),
    Malformed {
        span: Span,
    },
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Absent

The source construct did not include a type annotation.

Present(Type)

The source construct included a type annotation that parsed cleanly.

Malformed

The source construct included a type annotation, but the parser could not model it as a Type. Diagnostics carry the detailed message.

Fields

span: Span

Implementations

impl TypeAnnotation

pub const fn as_type(&self) -> Option<&Type>

pub const fn is_absent(&self) -> bool

pub const fn is_malformed(&self) -> bool

Trait Implementations

impl Clone for TypeAnnotation

fn clone(&self) -> TypeAnnotation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAnnotation

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

Formats the value using the given formatter.

impl Eq for TypeAnnotation

impl PartialEq for TypeAnnotation

fn eq(&self, other: &TypeAnnotation) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TypeAnnotation