[ASDAlexander77]

Two docs/not_impl items, then the folder removed.

Accessors fill abstract fields and interface fields (not_impl15)

A getter/setter implementing abstract prop: T was read as a field: through the base, print(b.prop) printed null and b.prop = x skipped the setter. A class implementing an interface field with accessors failed to compile ("field type not matching", or "can't find reference for field" through an abstract base).

• abstract prop: T has no storage now: it is an abstract get/set pair (getter only when readonly). A subclass fills it with its own accessors, or with a field, which gets accessors over it. This also fixes a plain subclass field filling an abstract field, which used to be a second slot the base never read.
• An interface field (not optional, not function-typed) filled by accessors has a slot holding the address of a {getter, setter} cell plus the sign bit (INTERFACE_ACCESSOR_CELL_TAG). Loads and stores through an interface field test the slot and call the accessor; RetainSlot/ReleaseSlot skip the cell, and a store releases the value the setter took.
• Cost: one runtime branch on every load and store of such an interface field.
• Not supported: an optional interface field (prop?: T) filled by accessors is an error. On 32-bit the cell must sit below 2 GB.

Untyped lambdas in object literals (not_impl28)

const o: { w: (x: number) => number } = { w: x => x + 1 } failed with "can't find type by name: TGenParam_x" (never worked).

• An object literal's function members take their parameter types (and an unannotated result type) from the receiver's field of that name, or its interface's method less this.
• A generic call with such a literal (foo({ read: () => s, write: value => s = value }) for foo<T>(x: Computed<T>)) first infers, with no code generated, from the other arguments and the literal's other members; the parameter's type with those type parameters known becomes the literal's receiver.
• Inference now matches an interface template against an object (Computed<T> from { read: () => string }), and () => T infers from () => string.
• Under -mm=own the f1 shape still hits a borrow error that main gives with fully typed lambdas too; the new test isn't run under own.

Tests

• New: 00class_accessor_implements_field.ts, 00object_literal_contextual_lambda.ts (compile, jit, TSLANG_CORPUS).
• ctest -C Release: 6121/6121.
• DefaultLib (main 362f556) release tests built with this compiler: gc 175/175, rc and none 174/175 (1 gc-only skip), own 164/175 (11 not-own skips).

🤖 Generated with Claude Code