Suite (rustc 1.97.1 tests/ui, 11,881 tests, `makepad check` verdicts): item and signature checks, casts, patterns,
attribute and extern safety (E0107, E0207, E0392, E0072, E0204, E0604-E0607, E0023, E0512, E0793, ...); const
evaluation (E0080/E0015/E0391/E0493, check_consts, post-monomorphization errors, a sound constant-branch fold,
std const fn audit); name resolution and privacy (E0252/E0255, E0603, E0364/E0365, E0451, E0624, E0659, attribute
resolution, lexer literal validation, AST validation); feature gates (E0658 from rustc's feature tables) and
editions; crash and timeout fixes (generic-arg arity at lowering, autoderef limit). Validation-only checks run only
for crates whose errors are reported, so `makepad run` does not pay for them.
Cold/warm start (Calculator on an M4 mini): cold 3.94 -> 3.44 s, warm 0.73/0.58 -> 0.44/0.33 s. The app domain
reuses the boot's resolved package; build scripts and the provided-source hash run beside the load; cache entries
of the startup installs are encoded after the first present (dropped if any source changed since); owner spins
read no clock; type folding skips types without the folder's flags; provided-crate crossing types computed on use.
Cache: std/framework entries shared across apps, keyed by the loader build id plus each crate's reachable bound set.
Codegen: a static's initial image is sized with the normalized layout (fn-local statics with const-length arrays
saw one byte under the HAL); headless runs exit on a failure; rwbench/bench_rt restored at the tip.
Borrowck: capture analysis and call typing no longer depend on the BIR Tx (first step of the MIR NLL port).
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
53999f974b