Posts tagged "rustc internals"

A tested walkthrough of monomorphization collection, concrete generic instances, codegen-unit partitioning, compile-time parallelism, and binary-size trade-offs.

A source-to-diagnostic walkthrough of trait goals, parameter environments, candidates, associated-type normalization, and nested obligations.

One small Rust function followed through real HIR, THIR, and MIR output, with a practical explanation of what each compiler representation is for.

Two identifiers, two different jobs. DefId names a definition across the whole compiler pipeline and across crates. HirId points to a node in the syntax tree of the current crate. Mixing them up is the first stumbling block when reading rustc source code.