lab/sx
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

issues/0054: mark FIXED (generic-struct -> param-protocol erasure)

Browse Source
This commit is contained in:
agra
2026-05-30 03:26:24 +03:00
parent 1f6e27d8f2
commit f2e1f401ce
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
issues/0054-generic-struct-to-param-protocol-erasure.md
View File

@@ -1,3 +1,17 @@
**FIXED** (`1f6e27d`, `examples/212`). Two root causes:
1. `instantiateGenericStruct` now binds the template name to the concrete
instance (`tb.put(tmpl.name, id)`), so an impl method `self: *Combined`
resolves `self.field` to the instance, not the 0-field generic stub. (This
was a general pre-existing bug — `self.x` failed on *any* generic-struct
impl method.)
2. `createProtocolThunk` monomorphizes the template method for a generic-struct
instance (`Combined.get` → `Combined__s64_s64.get` with the instance
bindings), so the erasure vtable dispatches instead of an `unreachable` thunk.
`xx c` (Combined → VL($R)) now dispatches correctly. The *full* canonical `map`
additionally needs mapper closure-pack typing + `$R` inference at the call site
(a separate piece) — tracked separately.
# Symptom
`xx c` where `c` is a generic-struct instance and the target is a parameterized