Metaprogramming stuff - #1455

Draft

micahscopes wants to merge 17 commits into

metaprogramming-stuff

Commits on May 17, 2026

Implement derive codegen via HirBuilder during lowering
micahscopes
committed
7fbfa26
Wire CTFE machine derive mode: Symbolic ExprId handling at BinOp/Field/DynField
micahscopes
committed
262ffec
Fix salsa cycle: use TyId::unit placeholder for strategy T parameter
micahscopes
committed
b31902a
Add CTFE machine interception points for derive mode
micahscopes
committed
91abb8e
Replace blanket type-check filter with surgical DynField deferred typing
micahscopes
committed
a1475c1
Add deferred BinOp lowering for strategy bodies in SMIR
micahscopes
committed
9271050
Add SMIR relaxed lowering for strategy bodies (partial)
micahscopes
committed
673b755
CTFE drives Eq derive output end-to-end via HIR walker
micahscopes
committed
113844e
WIP: HIR walker handles Eq/Ord, needs Default/Hash
micahscopes
committed
b0f9fe5
All 11 derive tests pass via CTFE HIR walker
micahscopes
committed
ca9de9d
Delete pattern evaluator from production path
micahscopes
committed
50bfb2e
Clean up CTFE machine: remove dead SMIR derive code, HIR walker is primary path
micahscopes
committed
21325c1
Remove dead SMIR machine derive mode — HIR walker is sole path
micahscopes
committed
c90b0f3
Fix Ord lexicographic ordering + add correctness tests
micahscopes
committed
7973f4a
Add tests proving strategy body drives output
micahscopes
committed
2996f0f

Commits on May 18, 2026