AOT Monomorphization Completeness
8 sections
33%
Section 1 Root Cause Analysis — Shared Monomorphization Completeness Gap Section 2 Import-Sigs Traversal — Cross-Module Imported Generic Top-Level Mono (BUG-04-119) Section 3 Inherent-Method Mono on Generic Type (BUG-04-091) Section 4 Complex-Generic-Arg Method Mono (BUG-04-061) Section 5 Builtin Apply Mono in Generic Context (BUG-04-114) Section 6 Test Matrix + Dual-Execution Parity Section 7 Close-out — Cluster Bug Retirement + TPR + Hygiene Section 8 Derived `Default` + Prelude `min`/`max` Builtin Mono Crash — LLVM Spec-Backend Suite Abort
Overview
collect_mono_functions (compiler_repo/compiler/ori_llvm/src/monomorphize/mod.rs:71; line coords refreshed at execution time per routing.md §5) registers EVERY Apply / Invoke call site reachable from host-module callers — across module boundaries, builtin Apply targets in generic contexts, inherent methods on generic types, and methods on receivers whose type parameters are themselves complex generics. The four absorbed bugs are facets of one architectural completeness gap; the shared cure is a coordinated extension of the mono-collection pipeline plus the corresponding MonoInstance emission sites in the type checker.
Planned
5 sections
Section 4 Not Started
Complex-Generic-Arg Method Mono (BUG-04-061)
0/19 tasks
0/19 tasks
Section 5 Not Started
Builtin Apply Mono in Generic Context (BUG-04-114)
0/21 tasks
0/21 tasks
Section 6 Not Started
Test Matrix + Dual-Execution Parity
0/23 tasks
0/23 tasks
Section 7 Not Started
Close-out — Cluster Bug Retirement + TPR + Hygiene
0/27 tasks
0/27 tasks
Section 8 Not Started
Derived `Default` + Prelude `min`/`max` Builtin Mono Crash — LLVM Spec-Backend Suite Abort
|
0/0 tasks