samples/minimal:nativeTest fails to compile:
Main.kt:33 — rect.origin = …
The generator emits origin() / _origin(v) rather than a property. That is correct and not a codegen bug: the getter needs a MemScope, so it cannot be a Kotlin property. The sample is what's stale.
Pre-existing — reproduced identically on 0.3.3, so this is not caused by the 0.3.4 migration (PR #193). The context-parameter work (#145/#146) changed the generated shape and this sample was not updated with it; nothing caught the drift because samples/minimal is only ever exercised as far as kplusplusSync in our verification, never nativeTest.
Found during the 0.3.4 migration.
Fix
Update Main.kt to the accessor form. Then decide whether samples/minimal:nativeTest should be part of a verification path so it cannot silently rot again — a sample that doesn't compile is worse than no sample, since it's the first thing a new consumer copies.
Related: #194 also stems from samples/* being too narrow a proving ground (both samples are single-project, hiding a whole class of consumer failure).
samples/minimal:nativeTestfails to compile:The generator emits
origin()/_origin(v)rather than a property. That is correct and not a codegen bug: the getter needs aMemScope, so it cannot be a Kotlin property. The sample is what's stale.Pre-existing — reproduced identically on 0.3.3, so this is not caused by the 0.3.4 migration (PR #193). The context-parameter work (#145/#146) changed the generated shape and this sample was not updated with it; nothing caught the drift because
samples/minimalis only ever exercised as far askplusplusSyncin our verification, nevernativeTest.Found during the 0.3.4 migration.
Fix
Update
Main.ktto the accessor form. Then decide whethersamples/minimal:nativeTestshould be part of a verification path so it cannot silently rot again — a sample that doesn't compile is worse than no sample, since it's the first thing a new consumer copies.Related: #194 also stems from
samples/*being too narrow a proving ground (both samples are single-project, hiding a whole class of consumer failure).