08. Spec test corpus + corpus migration
Goal
Author the spec-conformance tests for the : declaration syntax + the proposal’s acceptance criteria, and migrate every #derive(...) in tests/ to the : clause (since §6.7 removes #derive). Re-enable aims-burden §04’s deferred E2049 / Value-burden spec tests.
Implementation Items
-
tests/spec/declaration-bound coverage (struct/sum/newtype, multi-bound, supertrait, E2049, Value-field-constraint) - Migrate
tests/**/*.ori#derive(...)→:(rg "#derive\(" tests/) - Re-enable aims-burden §04 deferred-with-anchor E2049 / value_empty_burden tests
-
cargo st+./test-all.shgreen
Spec References
proposal §6–§11 acceptance; aims-burden §04 deferred anchors.
Intelligence Reconnaissance
- Graph-grounded during BUG-06-005 investigation + the dual-source /tp-help consensus (
bug-tracker/plans/BUG-06-005/section-02-fix-consensus.md): reviewers ranfile-symbols/callers/callees/symbolsoverori_parse/grammar/item,ori_ir/ast/items/types.rs,ori_types/check/registration,ori_fmt,ori_eval/derives,ori_llvm/codegen/derive_codegen. Per-section graph queries to be re-run at /review-plan pre-implementation gate. (2026-06-01)