This module contains the type definition for DefId
and the types
DefId
depends on.
Copies of the relevant HIR
types. HIR represents the code of a rust crate post-macro
expansion. It is close to the parsed AST, modulo some desugarings (and macro expansion).
Copies of the relevant MIR
types. MIR represents a rust (function) body as a CFG. Itβs a
semantically rich representation that contains no high-level control-flow operations like loops
or patterns; instead the control flow is entirely described by gotos and switches on integer
values.
This module contains type definitions that have no equivalent in
Rustc.
This module provides serde manual serializes/deserializers as
strings for u128 and i128: those types are not well supported in
serde (see https://github.com/serde-rs/json/issues/625).
Copies of the relevant THIR
types. THIR represents a HIR (function) body augmented with type
information and lightly desugared.
Copies of the relevant type-level types. These are semantically-rich representations of
type-level concepts such as types and trait references.