Typeck Inference Completeness
12 sections
79%
Section 1 AST-based Value Restriction Section 2 Section 02 — Validator Module: `validate_body_types()` Section 3 Bodies-Pass Integration Section 4 Codegen Defense In Depth Assertions Section 5 Test Matrix + Semantic Pins Section 6 Codegen Poly-Lambda Monomorphization (absorbs BUG-04-042) Section 7 Body-Inference Gaps Section 8 Dispatch-on-Rigid-Receiver Gaps Section 9 Inference Fallback for Unconstrained Bottom-Instantiable Roots Section 10 Diagnostics + Spec-Test Audit Section 11 Close-out + Supersession Section 12 §12 Partial-Move Validator Overcorrection
Completed
8 sections
Section 1 Complete
AST-based Value Restriction
47/47 tasks
Section 2 Complete
Section 02 — Validator Module: `validate_body_types()`
53/53 tasks
Section 3 Complete
Bodies-Pass Integration
63/63 tasks
Section 4 Complete
Codegen Defense In Depth Assertions
94/94 tasks
Section 5 Complete
Test Matrix + Semantic Pins
50/50 tasks
Section 6 Complete
Codegen Poly-Lambda Monomorphization (absorbs BUG-04-042)
173/173 tasks
Section 7 Complete
Body-Inference Gaps
Extend infer_try_seq (sequences.rs:54-109) with an Expected parameter and add a check_expr gate for ExprKind::FunctionSeq(Try) that propagates outer Check(Result<T, E>) expected type into the try-block body, unwrapping once so the final expression is checked against T (not Result<T, E>). Eliminates Result<Result<T, ?>, E> double-wrap that currently fails tests/compiler/typeck/control_flow.ori:184,194 + tests/compiler/typeck/let_bindings.ori.
126/128 tasks
Section 8 Complete
Dispatch-on-Rigid-Receiver Gaps
65/68 tasks