Enum TypeSpec 

pub enum TypeSpec {
    None,
    Builtin(Builtin),
    Record {
        kind: RecordKind,
        tag: Option<Symbol>,
        fields: Option<MemberList>,
        attrs: AttrList,
    },
    Enum {
        tag: Option<Symbol>,
        enumerators: Option<EnumeratorList>,
        underlying: Option<TypeNameId>,
        attrs: AttrList,
    },
    Typedef(Symbol),
    Typeof {
        unqual: bool,
        operand: TypeofArg,
    },
    Atomic(TypeNameId),
    Auto(Deduction),
}

What type a declaration named.

Variants

None

Nothing was written, which is int before C23 with a warning and an error in it.

Builtin(Builtin)

One or more of the keywords that name a built-in type.

Record

struct or union, with or without a tag, with or without a body.

Fields

kind: RecordKind

Which of the two.

tag: Option<Symbol>

The tag, absent for an anonymous one.

fields: Option<MemberList>

The members, absent when this is a reference to a tag rather than a definition. An empty list is a definition of an empty structure, which is a GNU extension, so the difference between struct S; and struct S {}; has to survive.

attrs: AttrList

Attributes on the tag itself, which GCC allows both before and after the body.

Enum

enum, with C23’s optional underlying type.

Fields

tag: Option<Symbol>

The tag, absent for an anonymous one.

enumerators: Option<EnumeratorList>

The enumerators, absent when this is a reference rather than a definition.

underlying: Option<TypeNameId>

The : T that C23 added, which fixes the representation instead of leaving it to the implementation.

attrs: AttrList

Attributes on the tag itself.

Typedef(Symbol)

An identifier the parser’s scope stack said was a typedef name.

Typeof

typeof or typeof_unqual, or their __typeof__ spellings.

Fields

unqual: bool

Whether the qualifiers come off, which is what typeof_unqual is for.

operand: TypeofArg

The operand, which is an expression or a type name and in the expression case is never evaluated.

Atomic(TypeNameId)

_Atomic(T), the type constructor rather than the qualifier.

Auto(Deduction)

A type deduced from an initializer, which is C23’s auto and GNU’s __auto_type.

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for TypeSpec

impl Debug for TypeSpec

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

Formats the value using the given formatter.

impl Eq for TypeSpec

impl PartialEq for TypeSpec

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for TypeSpec