@ball-lang/compiler 1.68.4 → 1.68.6

package/dist/compiler.d.ts

@@ -174,8 +174,20 @@ export declare class BallCompiler {
     private filterCtorBody;
     /**
      * Builds a named constructor as a static factory method.
-     * Named constructors (e.g., Point.origin, Point.fromList) create instances
-     * from field initializers in metadata.
+     *
+     * Every named constructor that is not a Dart `factory` CONSTRUCTS a real
+     * instance — whether it carries an initializer list (`Point.origin() : x =
+     * 0`), `this.`-formals (`Box.of(this.value)`), a plain body
+     * (`Bar.named(int x) { print(x); }`), or any combination. The instance comes
+     * from `Object.create(C.prototype)` so no user constructor runs, which means
+     * the class's inline field initializers do not run either: every declared
+     * field is seeded with its own default FIRST (Dart's ordering — inline field
+     * initializers, then the initializer list, then the body), and only then do
+     * the constructor-specific writes land on top (#564).
+     *
+     * A `factory` named constructor is the one exception: by definition it
+     * returns some other object, so its body runs as the static method's own
+     * statements and its value is the method's result.
      */
     private buildNamedCtor;
     private buildMethod;

package/dist/compiler.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAMV,MAAM,EACN,OAAO,EAIR,MAAM,YAAY,CAAC;AAGpB,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,uDAAuD;AACvD,MAAM,WAAW,qBAAqB;IACpC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAQD,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAElC,+CAA+C;IAC/C,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,KAAK,CAAK;IAElB,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,sEAAsE;IACtE,OAAO,CAAC,YAAY,CAA0B;IAE9C,mEAAmE;IACnE,OAAO,CAAC,kBAAkB,CAA0B;IAEpD,mEAAmE;IACnE,OAAO,CAAC,mBAAmB,CAA0B;IAErD,0EAA0E;IAC1E,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;0EACsE;IACtE,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;;;;OAIG;IACH,OAAO,CAAC,uBAAuB,CAA0B;IAEzD,8EAA8E;IAC9E,OAAO,CAAC,gBAAgB,CAAqB;IAE7C,8EAA8E;IAC9E,OAAO,CAAC,sBAAsB,CAA0B;IAExD,yEAAyE;IACzE,OAAO,CAAC,gBAAgB,CAA0B;IAElD,4DAA4D;IAC5D,OAAO,CAAC,aAAa,CAA0C;IAE/D;;;OAGG;IACH,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAA6B;IAEhD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB,CAAgB;IAExC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gBAAgB,CAKhB;IAER;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAK;IAErB,6EAA6E;IAC7E,OAAO,CAAC,SAAS,CAAK;gBAEV,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IAggE7C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgCG;IACH,cAAc,CAAC,OAAO,GAAE,qBAA0B,GAAG,MAAM;IAiB3D;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,CAAC,gBAAgB;IAwKxB,OAAO,CAAC,gBAAgB;IAoDxB;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAUhB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAoBzB;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,SAAS;IA8NjB,OAAO,CAAC,SAAS;IAgHjB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA0BtB;;;;OAIG;IACH,OAAO,CAAC,cAAc;IAqGtB,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IAmCjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IAsErB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IA8IhC;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAuGxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,OAAO,CAAC,kBAAkB;IA8D1B;;iCAE6B;IAC7B,OAAO,CAAC,iBAAiB;IAOzB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAmDnB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,aAAa;IAYrB;;;;;;;;;OASG;IACH,OAAO,CAAC,aAAa;IAkBrB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAmEZ,OAAO,CAAC,cAAc;IAqCtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAmB1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IA6C1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAsHnB,OAAO,CAAC,cAAc;IA4+BtB,OAAO,CAAC,iBAAiB;IAoJzB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA6HzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AAw8BD,+CAA+C;AAC/C,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,MAAM,CAE1E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,OAAO,EAChB,OAAO,CAAC,EAAE,qBAAqB,GAC9B,MAAM,CAER;AAMD,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,MAAM,CA+HpF"}
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../src/compiler.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAMV,MAAM,EACN,OAAO,EAIR,MAAM,YAAY,CAAC;AAGpB,MAAM,WAAW,cAAc;IAC7B,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,uDAAuD;AACvD,MAAM,WAAW,qBAAqB;IACpC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAQD,qBAAa,YAAY;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAU;IAElC,+CAA+C;IAC/C,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,KAAK,CAAK;IAElB,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAqB;IAE/C,sEAAsE;IACtE,OAAO,CAAC,YAAY,CAA0B;IAE9C,mEAAmE;IACnE,OAAO,CAAC,kBAAkB,CAA0B;IAEpD,mEAAmE;IACnE,OAAO,CAAC,mBAAmB,CAA0B;IAErD,0EAA0E;IAC1E,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;0EACsE;IACtE,OAAO,CAAC,uBAAuB,CAA0B;IAEzD;;;;OAIG;IACH,OAAO,CAAC,uBAAuB,CAA0B;IAEzD,8EAA8E;IAC9E,OAAO,CAAC,gBAAgB,CAAqB;IAE7C,8EAA8E;IAC9E,OAAO,CAAC,sBAAsB,CAA0B;IAExD,yEAAyE;IACzE,OAAO,CAAC,gBAAgB,CAA0B;IAElD,4DAA4D;IAC5D,OAAO,CAAC,aAAa,CAA0C;IAE/D;;;OAGG;IACH,OAAO,CAAC,iBAAiB,CAA0B;IAEnD;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAA6B;IAEhD;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB,CAAgB;IAExC;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,gBAAgB,CAKhB;IAER;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,CAAK;IAErB,6EAA6E;IAC7E,OAAO,CAAC,SAAS,CAAK;gBAEV,OAAO,EAAE,OAAO;IAI5B,4BAA4B;IAC5B,OAAO,CAAC,OAAO,GAAE,cAAmB,GAAG,MAAM;IAggE7C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgCG;IACH,cAAc,CAAC,OAAO,GAAE,qBAA0B,GAAG,MAAM;IAiB3D;;;;;;;;;;;;;;;;;OAiBG;IACH,OAAO,CAAC,gBAAgB;IAwKxB,OAAO,CAAC,gBAAgB;IAoDxB;;;;OAIG;IACH,OAAO,CAAC,QAAQ;IAUhB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAoBzB;;;;;;OAMG;IACH,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,SAAS;IAuOjB,OAAO,CAAC,SAAS;IAuHjB;;;;;OAKG;IACH,OAAO,CAAC,cAAc;IA0BtB;;;;;;;;;;;;;;;;OAgBG;IACH,OAAO,CAAC,cAAc;IAmHtB,OAAO,CAAC,WAAW;IA0BnB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,yBAAyB;IAoBjC,OAAO,CAAC,SAAS;IAmCjB;;;OAGG;IACH,OAAO,CAAC,cAAc;IAStB;;;;;OAKG;IACH,OAAO,CAAC,sBAAsB;IAiB9B,OAAO,CAAC,aAAa;IAsErB,OAAO,CAAC,aAAa;IAYrB,OAAO,CAAC,wBAAwB;IA8IhC;;;;;;;;OAQG;IACH,OAAO,CAAC,gBAAgB;IAuGxB;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA4BG;IACH,OAAO,CAAC,kBAAkB;IA8D1B;;iCAE6B;IAC7B,OAAO,CAAC,iBAAiB;IAOzB;;;;;;OAMG;IACH,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,UAAU;IAiBlB,OAAO,CAAC,WAAW;IAmDnB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,aAAa;IAYrB;;;;;;;;;OASG;IACH,OAAO,CAAC,aAAa;IAkBrB,sEAAsE;IACtE,OAAO,CAAC,YAAY;IAcpB,OAAO,CAAC,eAAe;IAYvB,OAAO,CAAC,WAAW;IAyGnB,OAAO,CAAC,cAAc;IAyBtB;;;;OAIG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;;;OAQG;IACH,OAAO,CAAC,UAAU;IAuBlB,OAAO,CAAC,mBAAmB;IA6B3B;;;;OAIG;IACH,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,IAAI;IAmEZ,OAAO,CAAC,cAAc;IAqCtB,OAAO,CAAC,0BAA0B;IAWlC,2DAA2D;IAC3D,OAAO,CAAC,mBAAmB;IAU3B,0DAA0D;IAC1D,OAAO,CAAC,kBAAkB;IAU1B;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAmB1B,2EAA2E;IAC3E,OAAO,CAAC,YAAY;IAUpB;;;;OAIG;IACH,OAAO,CAAC,qBAAqB;IAkF7B;;;;;;;OAOG;IACH,OAAO,CAAC,aAAa;IAsBrB,OAAO,CAAC,kBAAkB;IA6C1B,OAAO,CAAC,sBAAsB;IAqI9B,OAAO,CAAC,yBAAyB;IAqBjC,OAAO,CAAC,sBAAsB;IAI9B;;;;;OAKG;IACH,OAAO,CAAC,eAAe;IASvB,OAAO,CAAC,sBAAsB;IAe9B,OAAO,CAAC,aAAa;IA6BrB,OAAO,CAAC,WAAW;IAsHnB,OAAO,CAAC,cAAc;IA4+BtB,OAAO,CAAC,iBAAiB;IAoJzB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IA2CnB,OAAO,CAAC,YAAY;IAUpB,OAAO,CAAC,iBAAiB;IA6HzB;;;;;;OAMG;IACH,OAAO,CAAC,gBAAgB;IAqBxB,OAAO,CAAC,iBAAiB;IA2BzB,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,YAAY;CAgDrB;AAw8BD,+CAA+C;AAC/C,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,cAAc,GAAG,MAAM,CAE1E;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,OAAO,EAChB,OAAO,CAAC,EAAE,qBAAqB,GAC9B,MAAM,CAER;AAMD,MAAM,WAAW,oBAAoB;IACnC,2EAA2E;IAC3E,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,sEAAsE;IACtE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB;;;OAGG;IACH,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,oBAAoB,GAAG,MAAM,CA+HpF"}

package/dist/compiler.js

@@ -2259,8 +2259,11 @@ function __isUnknownFnError(e: any): boolean {
                 }
                 else {
                     // Named constructors are static factory methods that return a new
-                    // instance. Build them by creating an instance from initializers.
-                    methods.push(this.buildNamedCtor(fn, mMeta, fieldNames, tsName));
+                    // instance. The class's own (non-static) field declarations go with
+                    // them: the instance is built with `Object.create`, which runs no
+                    // field initializer, so the builder has to seed each default itself
+                    // (#564).
+                    methods.push(this.buildNamedCtor(fn, mMeta, fieldNames, tsName, properties.filter((p) => !p.isStatic)));
                 }
             }
             else if (mMeta["is_getter"] === true) {
@@ -2402,8 +2405,15 @@ function __isUnknownFnError(e: any): boolean {
             }
         }
         else {
+            // ONLY a `this.`-formal writes a constructor parameter into the field of
+            // the same name. A plain parameter that merely happens to share a
+            // field's name is an ordinary local and must never clobber that field's
+            // initializer — `class Foo { int x = 5; Foo(int x) { print(x); } }`
+            // leaves `x` at 5 in Dart (#539/#564, conformance 453). The old
+            // `|| classFields.has(p.name)` disjunct is the byte-identical defect the
+            // Dart engine carried until #563.
             for (const p of rawParams) {
-                if (p.isThis || classFields.has(p.name)) {
+                if (p.isThis) {
                     prologueParts.push(`this.${p.name} = ${sanitize(p.name)};`);
                 }
             }
@@ -2469,53 +2479,48 @@ function __isUnknownFnError(e: any): boolean {
     }
     /**
      * Builds a named constructor as a static factory method.
-     * Named constructors (e.g., Point.origin, Point.fromList) create instances
-     * from field initializers in metadata.
+     *
+     * Every named constructor that is not a Dart `factory` CONSTRUCTS a real
+     * instance — whether it carries an initializer list (`Point.origin() : x =
+     * 0`), `this.`-formals (`Box.of(this.value)`), a plain body
+     * (`Bar.named(int x) { print(x); }`), or any combination. The instance comes
+     * from `Object.create(C.prototype)` so no user constructor runs, which means
+     * the class's inline field initializers do not run either: every declared
+     * field is seeded with its own default FIRST (Dart's ordering — inline field
+     * initializers, then the initializer list, then the body), and only then do
+     * the constructor-specific writes land on top (#564).
+     *
+     * A `factory` named constructor is the one exception: by definition it
+     * returns some other object, so its body runs as the static method's own
+     * statements and its value is the method's result.
      */
-    buildNamedCtor(fn, meta, classFields, className) {
+    buildNamedCtor(fn, meta, classFields, className, classProperties = []) {
         const params = extractParams(fn);
         const ctorParams = extractCtorParams(meta);
         const initializers = Array.isArray(meta["initializers"]) ? meta["initializers"] : [];
         // Build the body: resolve field initializers and create a new instance.
         const bodyParts = [];
-        const ctorArgs = [];
-        // Extract field initializers to build constructor arguments
-        for (const init of initializers) {
-            if (init?.kind === "field" && typeof init.name === "string") {
-                const valueStr = typeof init.value === "string" ? init.value : "null";
-                // Resolve the value: could be a param reference, literal, or expression
-                let resolvedValue;
-                if (params.includes(valueStr)) {
-                    resolvedValue = sanitize(valueStr);
-                }
-                else if (/^-?\d+(\.\d+)?$/.test(valueStr)) {
-                    // Numeric literal — wrap in BallDouble if it has a decimal point
-                    resolvedValue = valueStr.includes(".") ? `new BallDouble(${valueStr})` : valueStr;
-                }
-                else if (valueStr.startsWith("'") || valueStr.startsWith('"')) {
-                    resolvedValue = valueStr;
-                }
-                else {
-                    // Try to parse indexed access like "coords[0]"
-                    const idxMatch = /^(\w+)\[(\d+)\]$/.exec(valueStr);
-                    if (idxMatch && params.includes(idxMatch[1])) {
-                        resolvedValue = `${sanitize(idxMatch[1])}[${idxMatch[2]}]`;
-                    }
-                    else {
-                        resolvedValue = valueStr;
-                    }
-                }
-                ctorArgs.push(resolvedValue);
-            }
-        }
-        // Also check for is_this params — they pass directly to the constructor
+        // Does the ctor have any field write of its own? Only WHETHER matters
+        // here; each value is resolved where the assignment is emitted, by
+        // `resolveInitializerValue`. (A `this.`-formal counts only when there is
+        // no initializer list at all, preserving the historical branch selection
+        // for the `Foo.named(this.x) : super(...)` shape, which still falls
+        // through to `return new Foo()`.)
         const thisParams = ctorParams.filter(p => p.isThis);
-        if (ctorArgs.length === 0 && initializers.length === 0 && thisParams.length > 0) {
-            for (const p of thisParams) {
-                ctorArgs.push(sanitize(p.name));
-            }
-        }
-        if (ctorArgs.length > 0 || (initializers.length > 0 && ctorArgs.length > 0)) {
+        const hasFieldInitializers = initializers.some((i) => i?.kind === "field" && typeof i.name === "string");
+        const hasCtorFieldWrites = hasFieldInitializers || (initializers.length === 0 && thisParams.length > 0);
+        // A Dart `factory` returns some other object, so it is the ONE named
+        // constructor that must not synthesize an instance of its own class.
+        const isFactory = meta["is_factory"] === true;
+        // Everything else constructs: an initializer list / `this.`-formal, or a
+        // plain body, or both. A body-only named constructor
+        // (`Bar.named(int x) { print(x); }`) used to fall through to the
+        // run-the-body-as-a-static-method branch below, so it created no instance
+        // at all — `this` inside it was the CLASS and the method returned the
+        // body's value, i.e. `undefined` for a `print` (#564, conformance
+        // 453/454).
+        const constructsInstance = hasCtorFieldWrites || (fn.body !== undefined && !isFactory);
+        if (constructsInstance) {
             // Use Object.create to avoid calling the constructor (which might be a factory).
             // This directly instantiates with fields set.
             const assignments = initializers
@@ -2525,16 +2530,29 @@ function __isUnknownFnError(e: any): boolean {
             const thisAssignments = thisParams.map(p => `__inst.${p.name} = ${sanitize(p.name)};`);
             const allAssignments = [...assignments, ...thisAssignments];
             bodyParts.push(`const __inst = Object.create(${className}.prototype);`);
+            // `Object.create` deliberately runs no constructor — which also means it
+            // runs none of the class's inline field initializers. Seed every
+            // declared field with the SAME default the class declaration emits,
+            // before any constructor-specific write, exactly as Dart orders them
+            // (inline initializers, then the initializer list, then the body).
+            // Without this a field the named constructor never mentions stayed
+            // `undefined` forever (#564: `Init.viaList`'s `w`, `Baz.bare`'s `v`).
+            for (const p of classProperties) {
+                const def = dartInitializerToTs(p.dartInitializer, p.type, p.rawDartType);
+                if (def !== undefined)
+                    bodyParts.push(`__inst.${p.name} = ${def};`);
+            }
             for (const a of allAssignments)
                 bodyParts.push(a);
-            // A named constructor may have BOTH an initializer list / `this.`-params
-            // AND a body (`Countdown.pair(int s) : value = s { tail = …; }`, or
-            // `Countdown.from(this.value) { … }`). Dart runs the list first, then the
-            // body; the body used to be dropped entirely by this branch, so every
-            // field the body set stayed unset (conformance 436/438). `.call(__inst)`
-            // — a real `function`, not an arrow — gives the compiled body the
-            // instance as `this`, so its `this.<field>` writes land on `__inst`,
-            // while the constructor's parameters stay in scope by closure.
+            // A named constructor may have an initializer list / `this.`-params, a
+            // body, or both (`Countdown.pair(int s) : value = s { tail = …; }`,
+            // `Countdown.from(this.value) { … }`, `Bar.named(int x) { print(x); }`).
+            // Dart runs the list first, then the body; the body used to be dropped
+            // entirely by this branch, so every field the body set stayed unset
+            // (conformance 436/438). `.call(__inst)` — a real `function`, not an
+            // arrow — gives the compiled body the instance as `this`, so its
+            // `this.<field>` writes land on `__inst`, while the constructor's
+            // parameters stay in scope by closure.
             if (fn.body) {
                 const captured = this.withMethodContext(new Set(params), classFields, () => this.captureInto(() => {
                     this.emitStatementOrExpression(fn.body, false);
@@ -2546,13 +2564,18 @@ function __isUnknownFnError(e: any): boolean {
             bodyParts.push(`return __inst;`);
         }
         else if (fn.body) {
-            // Has an actual body — use it
+            // A `factory` named constructor: its body IS the method — whatever it
+            // evaluates to is what the caller gets, and no instance of this class is
+            // synthesized. This is the only body-bearing shape that reaches here
+            // (every non-factory body constructs, above).
             const captured = this.withMethodContext(new Set(params), classFields, () => this.captureInto(() => {
                 this.emitStatementOrExpression(fn.body, true);
             }));
             bodyParts.push(captured);
         }
         else {
+            // Nothing to run and nothing to assign: let the real constructor build
+            // it (which runs the class's inline field initializers itself).
             bodyParts.push(`return new ${className}();`);
         }
         return {