ASDAlexander77 · Oct 28, 2026 · Oct 28, 2026 · Oct 28, 2026 · Oct 28, 2026
diff --git a/docs/not_impl/not_impl12.ts b/docs/not_impl/not_impl12.ts
diff --git a/docs/not_impl/not_impl13.ts b/docs/not_impl/not_impl13.ts
diff --git a/docs/not_impl/not_impl15.ts b/docs/not_impl/not_impl15.ts
diff --git a/docs/not_impl/not_impl27.ts b/docs/not_impl/not_impl27.ts
diff --git a/docs/not_impl/not_impl28.ts b/docs/not_impl/not_impl28.ts
diff --git a/docs/not_impl/not_impl30.ts b/docs/not_impl/not_impl30.ts
diff --git a/docs/not_impl/not_impl5.ts b/docs/not_impl/not_impl5.ts
diff --git a/docs/not_impl/not_impl7.ts b/docs/not_impl/not_impl7.ts
diff --git a/docs/not_impl/not_impl9.ts b/docs/not_impl/not_impl9.ts
diff --git a/tslang/include/TypeScript/Defines.h b/tslang/include/TypeScript/Defines.h
@@ -220,6 +220,12 @@
 // closure) is filled the same way, with a thunk calling the field; its cell is always present and
 // is not written through.
 #define INTERFACE_METHOD_CELL_TAG 1
+// A field (not optional, not function-typed) a class fills with accessors (`get prop()`, `set prop(v)`) has no
+// storage in the object: its slot is instead the address of a global cell {getter, setter}, either null where
+// the class has none, plus this bit - the sign bit, which an offset never has (a symbol plus a constant, so it
+// is relocated as any address). A load through it calls the getter with `this`, and a store the setter
+// (LoadOpLowering, StoreOpLowering). On a 32-bit target this holds for a cell below 2 GB.
+#define INTERFACE_ACCESSOR_CELL_TAG(sizeBits) (1ULL << ((sizeBits) - 1))
 // on an InterfaceSymbolRefOp of a `v?: T` field that is stored to: true sets the flag of a tagged slot's
 // field, false (a store of undefined) clears it
 #define INTERFACE_OPTIONAL_WRITE_ATTR "__optional_write"