Signature of a function type, which I have arbitrarily decided to use to refer to the input/output types.

Information about the type/lifetime parameters associated with an item or method. Analogous to ast::Generics.

Records the substitutions used to translate the polytype for an item into the monotype of an item reference.

When type checking, we use the ParameterEnvironment to track details about the type/lifetime parameters that are in scope. It primarily stores the bounds information.

A polytype.

As Polytype but for a trait ref.

A restriction that certain types must be the same size. The use of transmute gives rise to these restrictions.

Type contents is how the type checker reasons about kinds. They track what kinds of things are found within a type. You can think of them as kind of an "anti-kind". They track the kinds of values and thinks that are contained in types. Having a larger contents for a type tends to rule that type out from various kinds. For example, a type that contains a reference is not sendable.

Information describing the borrowing of an upvar. This is computed during typeck, specifically by regionck. The general idea is that the compiler analyses treat closures like:

Upvars do not get their own node-id. Instead, we use the pair of the original var id (that is, the root variable that is referenced by the upvar) and the id of the closure expression.

The data structure to keep track of all the information that typechecker generates so that so that it can be reused and doesn't have to be redone later on.

We categorize expressions into three kinds. The distinction between lvalue/rvalue is fundamental to the language. The distinction between the two kinds of rvalues is an artifact of trans which reflects how we will generate code for that kind of expression. See trans/expr.rs for more information.

Representation of regions:

Describes whether a type is representable. For types that are not representable, 'SelfRecursive' and 'ContainsRecursive' are used to distinguish between types that are recursive with themselves and types that contain a different recursive type. These cases can therefore be treated differently when reporting errors.

See expr_ty_adjusted

See ParameterEnvironment struct def'n for details

Iterate over attributes of a definition.

Returns the type of expr, considering any AutoAdjustment entry recorded for that expression.

Determine whether an item is annotated with an attribute

Creates a hash of the type t which will be the same no matter what crate context it's calculated within. This is used by the type_id intrinsic.

If the given def ID describes a method belonging to an impl, return the ID of the impl that the method belongs to. Otherwise, return None.

Check whether a type is representable. This means it cannot contain unboxed structural recursion. This check is needed for structs and enums.

Determine whether an item is annotated with #[packed]

Determine whether an item is annotated with #[simd]

Given the did of a trait, returns its canonical trait ref.

Returns an equivalent type with all the typedefs and self regions removed.

Returns a vector containing the indices of all type parameters that appear in ty. The vector may contain duplicates. Probably should be converted to a bitset or some other representation.

Populates the type context with all the implementations for the given trait if necessary.

Populates the type context with all the implementations for the given type if necessary.

Records a trait-to-implementation mapping.

Given the def_id of an impl, return the def_id of the trait it implements. If it implements no trait, return None.

If the given def ID describes a method belonging to a trait, (either a default method or an implementation of a trait method), return the ID of the method inside trait definition (this means that if the given def ID is already that of the original trait method, then the return value is the same). Otherwise, return None.

If the given def ID describes a method belonging to a trait (either a default method or an implementation of a trait method), return the ID of the trait that the method belongs to. Otherwise, return None.

Checks whether trait_ref refers to one of the builtin traits, like Send, and adds the corresponding bound to the set builtin_bounds if so. Returns true if trait_ref is a builtin trait.

Explains the source of a type err in a short, human readable way. This is meant to be placed in parentheses after some larger message. You should also invoke note_and_explain_type_err() afterwards to present additional details, particularly when it comes to lifetime-related errors.

Returns true if this type is a floating point type and false otherwise.