Module syntax::ast

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Re-exports

pub use GenericArgs::*;

pub use UnsafeSource::*;

pub use crate::util::parser::ExprPrecedence;

Modules

node_id_inner

Internal

Structs

AngleBracketedArgs	Internal A path like Foo<'a, T>.
AnonConst	Internal A constant (expression) that's not an item or associated item, but needs its own DefId for type-checking, const-eval, etc. These are usually found nested inside types (e.g., array lengths) or expressions (e.g., repeat counts), and also used to define explicit discriminant values for enum variants.
Arg	Internal An argument in a function header.
Arm	Internal An arm of a 'match'.
AttrId	Internal
Attribute	Internal Metadata associated with an item. Doc-comments are promoted to attributes that have is_sugared_doc = true.
BareFnTy	Internal
Block	Internal A Block ({ .. }).
Crate	Internal
EnumDef	Internal
Expr	Internal An expression
Field	Internal
FieldPat	Internal A single field in a struct pattern
FnDecl	Internal Header (not the body) of a function declaration.
FnHeader	Internal A function header.
ForeignItem	Internal
ForeignMod	Internal Foreign module declaration.
GenericParam	Internal
Generics	Internal Represents lifetime, type and const parameters attached to a declaration of a function, enum, trait, etc.
GlobalAsm	Internal Global inline assembly.
Ident	Internal
ImplItem	Internal
InlineAsm	Internal Inline assembly.
InlineAsmOutput	Internal Inline assembly.
Item	Internal An item.
Label	Internal
Lifetime	Internal
Local	Internal Local represents a let statement, e.g., let <pat>:<ty> = <expr>;.
Mac_	Internal Represents a macro invocation. The Path indicates which macro is being invoked, and the vector of token-trees contains the source of the macro invocation.
MacroDef	Internal
MetaItem	Internal A spanned compile-time attribute item.
MethodSig	Internal Represents a method's signature in a trait declaration, or in an implementation.
Mod	Internal Module declaration.
MutTy	Internal
Name	Internal A symbol is an interned or gensymed string. The use of newtype_index! means that Option<Symbol> only takes up 4 bytes, because `newtype_index! reserves the last 256 values for tagging purposes.
NodeId	Internal
ParenthesizedArgs	Internal A path like Foo(A, B) -> C.
Pat	Internal
Path	Internal A "Path" is essentially Rust's notion of a name.
PathSegment	Internal A segment of a path: an identifier, an optional lifetime, and a set of types.
PolyTraitRef	Internal
QSelf	Internal The explicit Self type in a "qualified path". The actual path, including the trait and the associated item, is stored separately. position represents the index of the associated item qualified with this Self type.
Stmt	Internal A statement
StructField	Internal Field of a struct.
TraitItem	Internal Represents an item declaration within a trait declaration, possibly including a default implementation. A trait item is either required (meaning it doesn't have an implementation, just a signature) or provided (meaning it has a default implementation).
TraitRef	Internal TraitRefs appear in impls.
Ty	Internal
TypeBinding	Internal
UseTree	Internal A tree of paths sharing common prefixes. Used in use items both at top-level and inside of braces in import groups.
Variant_	Internal
WhereBoundPredicate	Internal A type bound.
WhereClause	Internal A where-clause in a definition.
WhereEqPredicate	Internal An equality predicate (unsupported).
WhereRegionPredicate	Internal A lifetime predicate.

Enums

AsmDialect	Internal Inline assembly dialect.
AttrStyle	Internal Distinguishes between Attributes that decorate items and Attributes that are contained as statements within items. These two cases need to be distinguished for pretty-printing.
BinOpKind	Internal
BindingMode	Internal
BlockCheckMode	Internal
CaptureBy	Internal A capture clause.
Constness	Internal
CrateSugar	Internal
Defaultness	Internal
ExprKind	Internal
FloatTy	Internal
ForeignItemKind	Internal An item within an extern block.
FunctionRetTy	Internal
GenericArg	Internal
GenericArgs	Internal The arguments of a path segment.
GenericBound	Internal The AST represents all type param bounds as types. typeck::collect::compute_bounds matches these against the "special" built-in traits (see middle::lang_items) and detects Copy, Send and Sync.
GenericParamKind	Internal
Guard	Internal
ImplItemKind	Internal
ImplPolarity	Internal
IntTy	Internal
IsAsync	Internal
IsAuto	Internal Is the trait definition an auto trait?
ItemKind	Internal
LitIntType	Internal
LitKind	Internal Literal kind.
MacDelimiter	Internal
MacStmtStyle	Internal
MetaItemKind	Internal A compile-time attribute item.
Movability	Internal The movability of a generator / closure literal.
Mutability	Internal
NestedMetaItem	Internal Possible values inside of compile-time attribute lists.
ParamKindOrd	Internal Specifies the enforced ordering for generic parameters. In the future, if we wanted to relax this order, we could override PartialEq and PartialOrd, to allow the kinds to be unordered.
PatKind	Internal
RangeEnd	Internal
RangeLimits	Internal Limit types of a range (inclusive or exclusive)
RangeSyntax	Internal
SelfKind	Internal Alternative representation for Args describing self parameter of methods.
StmtKind	Internal
StrStyle	Internal
TraitBoundModifier	Internal A modifier on a bound, currently this is only used for ?Sized, where the modifier is Maybe. Negative bounds should also be handled here.
TraitItemKind	Internal
TraitObjectSyntax	Internal Syntax used to declare a trait object.
TyKind	Internal The various kinds of type recognized by the compiler.
UintTy	Internal
UnOp	Internal
UnsafeSource	Internal
Unsafety	Internal
UseTreeKind	Internal Part of use item to the right of its prefix.
VariantData	Internal Fields and constructor ids of enum variants and structs.
VisibilityKind	Internal
WherePredicate	Internal A single predicate in a where-clause.

Constants

CRATE_NODE_ID	Internal NodeId used to represent the root of the crate.
DUMMY_NODE_ID	Internal When parsing and doing expansions, we initially give all AST nodes this AST node value. Then later, in the renumber pass, we renumber them to have small, positive ids.

Statics

MEM_SIZE_OF_EXPR

Internal

Type Definitions

BinOp	Internal
CrateConfig	Internal The set of MetaItems that define the compilation environment of the crate, used to drive conditional compilation.
ExplicitSelf	Internal
GenericBounds	Internal
Lit	Internal A literal.
Mac	Internal
SpannedIdent	Internal
Variant	Internal
Visibility	Internal