Typeck Inference Completeness: Empty-Container Phase-Contract + Body-Inference Gaps + Dispatch + Fallback

11 sections

70%
Section 1 AST-based Value Restriction Section 2 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 Diagnostics + Spec-Test Audit Section 7 Close-out + Supersession (absorbs BUG-04-085 investigation) Section 8 Codegen Poly-Lambda Monomorphization (absorbs BUG-04-042) Section 9 Body-Inference Gaps — try-block BD-2, def-impl Self, Result<T,user-Error> LHS, lambda-parameter propagation Section 10 Dispatch-on-Rigid-Receiver Gaps — file splits, generic-param bound-chain, capability-method dispatch Section 11 Inference Fallback for Unconstrained Bottom-Instantiable Roots — polymorphic-constructor defaulting
Overview

Close the typeck inference completeness gap end-to-end so the test suite reaches failed: 0 via localized compiler fixes, never by mechanical test annotation. The plan began as "empty-container typeck phase-contract enforcement" (BUG-04-074) and expanded when §06.2C investigation (2026-04-23) revealed the remaining 28-file E2005 ledger was not one "polymorphic-constructor class" but seven distinct typeck gaps sharing only the E2005 symptom. Deliver all gap fixes as ONE coherent system:

○

In Progress

2 sections
Section 4 In Progress

Codegen Defense-in-Depth Assertions

103/113 tasks

103/113 tasks
Section 6 In Progress

Diagnostics + Spec-Test Audit

85/123 tasks

85/123 tasks
○

Planned

4 sections
Section 7 Not Started

Close-out + Supersession (absorbs BUG-04-085 investigation)

0/27 tasks

0/27 tasks
Section 9 Not Started

Body-Inference Gaps — try-block BD-2, def-impl Self, Result<T,user-Error> LHS, lambda-parameter propagation

0/99 tasks

0/99 tasks
Section 10 Not Started

Dispatch-on-Rigid-Receiver Gaps — file splits, generic-param bound-chain, capability-method dispatch

0/63 tasks

0/63 tasks
Section 11 Not Started

Inference Fallback for Unconstrained Bottom-Instantiable Roots — polymorphic-constructor defaulting

0/33 tasks

0/33 tasks
✓

Completed

5 sections
Section 1 Complete

AST-based Value Restriction

116/116 tasks

116/116 tasks
Section 2 Complete

Validator Module — validate_body_types()

58/58 tasks

58/58 tasks
Section 3 Complete

Bodies-Pass Integration

46/46 tasks

46/46 tasks
Section 5 Complete

Test Matrix + Semantic Pins

52/52 tasks

52/52 tasks
Section 8 Complete

Codegen Poly-Lambda Monomorphization (absorbs BUG-04-042)

179/179 tasks

179/179 tasks