@scriptc/compiler 0.2.1 → 0.2.2

package/dist/frontend/lowering/lower-classes.d.ts

@@ -22,6 +22,7 @@ export interface ClassInfo {
     localPrototypeData?: true;
     prototypeMethodValues?: Map<string, IrExpr>;
     prototypeReflectionReady?: true;
+    prototypeObservedMethodsReady?: true;
     prototypeReflectionRefusal?: string;
     localClass?: {
         context: FnCtx | null;
@@ -178,6 +179,7 @@ export interface ClassInfo {
         member: ts.MethodDeclaration;
         receiverInfo?: GenericFnInfo;
     }>;
+    staticMethodValues?: Map<string, IrExpr>;
     /** `static { ... }` blocks, in declaration order. They are DECLARATION-TIME
      * CODE, not shape: JS runs each block once when the class statement
      * evaluates, whether or not anything ever references the class — so their
@@ -576,6 +578,9 @@ export declare function findGenericMethodOn(lowerer: Lowerer, info: ClassInfo |
    * slot, so a call that could reach an override compiles only when the
    * receiver's runtime class is statically exact. */
 export declare function genericOverrideBelow(lowerer: Lowerer, info: ClassInfo, name: string): boolean;
+/** Discover inherited data writes before any base storage ABI is chosen.
+ * The checker does not widen a base field for assignments in JS subclasses. */
+export declare function collectInheritedJsFieldWrites(lowerer: Lowerer, files: readonly ts.SourceFile[]): void;
 /** Discover overrides before choosing inferred method ABIs. Class collection
  * visits bases first, including imported bases and class expressions, so the
  * collected subclass graph cannot answer this question yet. The checker