Crate ruast 

Modules

traits

Structs

AddrOf

&expr, &mut expr, &raw const expr, &raw mut expr

Arm

Array

Assign

lhs = rhs

AssignOp

lhs op= rhs

Async

async { ... }

Attribute

AttributeItem

Await

expr.await

BareFn

Binary

Block

{ … }`

Break

break ('label)? expr

Call

Cast

expr as ty

Closure

CompileOptions

Const

ConstBlock

ConstItem

const ident: ty (= expr)?;

ConstParam

Continue

continue ('label)?

Crate

DelimArgs

Empty

EnumDef

Expr

ExprField

ident: expr

ExternBlock

extern unsafe? "abi"? { ... }

ExternCrate

extern crate ident (as alias)?;

Field

expr.ident

FieldDef

vis (ident ':')? ty

Fn

'fn' 'unsafe'? 'const'? 'async'? ('extern' "abi")? ident (<...>)? decl { ... }

FnDecl

'(' params (, ...)? ')' ('->' output)?

ForLoop

IdentPat

If

Impl

ImplTrait

Index

expr[index]

Item

ItemIndex

This index should not be kept after the item is removed.

LabelledBlock

('label:)? { ... }

Let

Lit

LoadedMod

mod ident { ... }

Local

let pat (:ty)? (= expr)?;

Loop

MacCall

MacroDef

Match

MethodCall

MutTy

Param

pat ':' ty

Paren

PatField

Path

PathSegment

PolyTraitRef

PredicateLifetime

PredicateType

Ptr

Range

start..end or start..=end

Ref

RefPat

('&mut' | '&') pat

RefWithInnerAttrs

Repeat

[expr; len]

Return

return expr?

Semi

expr;

StaticItem

static ident: ty (= expr)?;

StmtIndex

This index should not be kept after the statement is removed.

Struct

StructDef

StructPat

TokenStream

This structure is not related to proc_macro2::TokenStream. However, it can be converted to proc_marco2::TokenStream by enabling the quote feature.

TraitDef

TraitObject

Try

expr?

TryBlock

try { ... }

Tuple

TupleStructPat

TyAlias

type ident = ty;

TypeAscription

expr: ty

TypeParam

Unary

Underscore

UnionDef

UnsafeBlock

Use

use use_tree;

UsePath

ident '::' tree

UseRename

ident 'as' alias

Variant

While

WithInnerAttrs

Yield

yield expr?

Enums

AssocItemKind

AttrArgs

AttrKind

AttrStyle

BinOpKind

BinOpToken

BorrowKind

Delimiter

ExprKind

Fields

GenericArg

GenericBound

GenericParam

ItemKind

KeywordToken

LitKind

LocalKind

MacDelimiter

Mod

mod ident { ... } or mod ident;

Mutability

OperatorPrecedence

Pat

PtrKind

RangeLimits

Stmt

Token

Type

UnaryOpKind

UseTree

path | use_rename | '*' | '{' (use_tree ',')+ '}'

Visibility

VisibilityScope

WherePredicate

Traits

Accessible

AddVisibility

Addressable

Assignable

Awaitable

BinaryOperable

Callable

Castable

EmptyItem

HasItem

HasPrecedence

HasVisibility

Ident

Indexable

IntoConst

IntoItem

IntoTokens

IntoTryBlock

IntoUnsafe

MaybeIdent

MethodCallable

Parenthesize

Returnable

Semicolon

Tryable

UnaryOperable

Yieldable

Type Aliases

AssocItem

MacCallWithSemi

ModuleItem

ScopeItem