Crate syn [−] [src]

A path like Foo<'a, T>

Doc-comments are promoted to attributes that have is_sugared_doc = true

An argument in a function type.

Represents lifetimes and type parameters attached to a declaration of a function, enum, trait, etc.

Returned by Generics::split_for_impl.

A lifetime definition, e.g. 'a: 'b+'c+'d

A path like Foo(A,B) -> C

A "Path" is essentially Rust's notion of a name.

A segment of a path: an identifier, an optional lifetime, and a set of types.

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.

Returned by Generics::split_for_impl.

Bind a type to an associated type: A=Foo.

A type bound.

A where clause in a definition

A lifetime predicate.

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.

Literal kind.

A compile-time attribute item.

Possible values inside of compile-time attribute lists.

Parameters of a path segment.

A modifier on a bound, currently this is only used for ?Sized, where the modifier is Maybe. Negative bounds should also be handled here.

The different kinds of types recognized by the compiler

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.

A single predicate in a where clause