typescript-to-gdscript 0.1.0

package/dist/converter/gd-to-ts/helpers/operator-fix.js

@@ -0,0 +1,114 @@
+/**
+ * Operator fix helper for GD-to-TS post-processing.
+ * Collects TS operator type errors and produces gd.ops.X() wrappers.
+ */
+import ts from 'typescript';
+/** TS operator token -> gd.ops function name */
+export const TS_OP_TO_GD_OPS = {
+    [ts.SyntaxKind.PlusToken]: 'add',
+    [ts.SyntaxKind.MinusToken]: 'sub',
+    [ts.SyntaxKind.AsteriskToken]: 'mul',
+    [ts.SyntaxKind.SlashToken]: 'div',
+    [ts.SyntaxKind.PercentToken]: 'rem',
+    [ts.SyntaxKind.EqualsEqualsEqualsToken]: 'eq',
+    [ts.SyntaxKind.ExclamationEqualsEqualsToken]: 'ne',
+    [ts.SyntaxKind.GreaterThanToken]: 'gt',
+    [ts.SyntaxKind.GreaterThanEqualsToken]: 'gte',
+    [ts.SyntaxKind.LessThanToken]: 'lt',
+    [ts.SyntaxKind.LessThanEqualsToken]: 'lte',
+};
+/** TS compound assignment operator -> gd.ops function name.
+ *  `a += b` -> `a = gd.ops.add(a, b)` */
+export const TS_COMPOUND_OP_TO_GD_OPS = {
+    [ts.SyntaxKind.PlusEqualsToken]: 'add',
+    [ts.SyntaxKind.MinusEqualsToken]: 'sub',
+    [ts.SyntaxKind.AsteriskEqualsToken]: 'mul',
+    [ts.SyntaxKind.SlashEqualsToken]: 'div',
+    [ts.SyntaxKind.PercentEqualsToken]: 'rem',
+};
+/** TS error codes for operator type mismatches */
+export const TS_OPERATOR_ERROR_CODES = new Set([
+    2365, // Operator 'X' cannot be applied to types 'Y' and 'Z'.
+    2362, // The left-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an enum type.
+    2363, // The right-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an enum type.
+]);
+/** Find the innermost BinaryExpression at a given position */
+export function findBinaryExpressionAt(sourceFile, pos) {
+    function visit(node) {
+        if (node.getStart(sourceFile) > pos || node.getEnd() <= pos)
+            return undefined;
+        // Check children first for deeper match
+        for (const child of node.getChildren(sourceFile)) {
+            const found = visit(child);
+            if (found)
+                return found;
+        }
+        if (ts.isBinaryExpression(node)) {
+            return node;
+        }
+        return undefined;
+    }
+    return visit(sourceFile);
+}
+/**
+ * Collect operator-related TS errors and produce source fixes.
+ */
+export function collectOperatorFixes(program, filePaths) {
+    const fixesByFile = new Map();
+    for (const sourceFile of program.getSourceFiles()) {
+        const fileName = sourceFile.fileName;
+        if (!filePaths.has(fileName))
+            continue;
+        const diagnostics = program.getSemanticDiagnostics(sourceFile);
+        // Track fixed ranges to deduplicate and prevent overlapping fixes.
+        // Overlapping fixes (nested operators like `a + b * c`) corrupt positions --
+        // only the innermost is fixed per pass; the outer loop catches the rest.
+        const fixedRanges = [];
+        function overlapsExisting(start, end) {
+            return fixedRanges.some((r) => (start >= r.start && start < r.end) ||
+                (end > r.start && end <= r.end) ||
+                (start <= r.start && end >= r.end));
+        }
+        for (const diag of diagnostics) {
+            if (!TS_OPERATOR_ERROR_CODES.has(diag.code))
+                continue;
+            if (diag.start === undefined)
+                continue;
+            const expr = findBinaryExpressionAt(sourceFile, diag.start);
+            if (!expr)
+                continue;
+            const exprStart = expr.getStart(sourceFile);
+            const exprEnd = expr.getEnd();
+            if (overlapsExisting(exprStart, exprEnd))
+                continue;
+            // Check regular operators first, then compound assignments
+            const opName = TS_OP_TO_GD_OPS[expr.operatorToken.kind];
+            const compoundOpName = TS_COMPOUND_OP_TO_GD_OPS[expr.operatorToken.kind];
+            if (!opName && !compoundOpName)
+                continue;
+            const leftText = expr.left.getText(sourceFile);
+            const rightText = expr.right.getText(sourceFile);
+            let replacement;
+            if (compoundOpName) {
+                // a += b -> a = gd.ops.add(a, b)
+                replacement = `${leftText} = gd.ops.${compoundOpName}(${leftText}, ${rightText})`;
+            }
+            else {
+                replacement = `gd.ops.${opName}(${leftText}, ${rightText})`;
+            }
+            let fixes = fixesByFile.get(fileName);
+            if (!fixes) {
+                fixes = [];
+                fixesByFile.set(fileName, fixes);
+            }
+            fixes.push({
+                start: exprStart,
+                end: exprEnd,
+                replacement,
+            });
+            fixedRanges.push({ start: exprStart, end: exprEnd });
+        }
+    }
+    return fixesByFile;
+}
+//# sourceMappingURL=operator-fix.js.map

package/dist/converter/gd-to-ts/helpers/operator-fix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operator-fix.js","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/operator-fix.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,gDAAgD;AAChD,MAAM,CAAC,MAAM,eAAe,GAA2C;IACrE,CAAC,EAAE,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,KAAK;IAChC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK;IACjC,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,KAAK;IACpC,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,KAAK;IACjC,CAAC,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,KAAK;IACnC,CAAC,EAAE,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,IAAI;IAC7C,CAAC,EAAE,CAAC,UAAU,CAAC,4BAA4B,CAAC,EAAE,IAAI;IAClD,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,IAAI;IACtC,CAAC,EAAE,CAAC,UAAU,CAAC,sBAAsB,CAAC,EAAE,KAAK;IAC7C,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,IAAI;IACnC,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,KAAK;CAC3C,CAAC;AAEF;yCACyC;AACzC,MAAM,CAAC,MAAM,wBAAwB,GACnC;IACE,CAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,KAAK;IACtC,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,KAAK;IACvC,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,KAAK;IAC1C,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,EAAE,KAAK;IACvC,CAAC,EAAE,CAAC,UAAU,CAAC,kBAAkB,CAAC,EAAE,KAAK;CAC1C,CAAC;AAEJ,kDAAkD;AAClD,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IAC7C,IAAI,EAAE,uDAAuD;IAC7D,IAAI,EAAE,2GAA2G;IACjH,IAAI,EAAE,4GAA4G;CACnH,CAAC,CAAC;AAEH,8DAA8D;AAC9D,MAAM,UAAU,sBAAsB,CACpC,UAAyB,EACzB,GAAW;IAEX,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG;YACzD,OAAO,SAAS,CAAC;QAEnB,wCAAwC;QACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3B,IAAI,KAAK;gBAAE,OAAO,KAAK,CAAC;QAC1B,CAAC;QAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,KAAK,CAAC,UAAU,CAAC,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAmB,EACnB,SAAsB;IAEtB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEnD,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAE/D,mEAAmE;QACnE,6EAA6E;QAC7E,yEAAyE;QACzE,MAAM,WAAW,GAA0C,EAAE,CAAC;QAE9D,SAAS,gBAAgB,CAAC,KAAa,EAAE,GAAW;YAClD,OAAO,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;gBACnC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC/B,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACrC,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;gBAAE,SAAS;YAEvC,MAAM,IAAI,GAAG,sBAAsB,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC;YAC5D,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC;gBAAE,SAAS;YAEnD,2DAA2D;YAC3D,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YACxD,MAAM,cAAc,GAAG,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAEzE,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc;gBAAE,SAAS;YAEzC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YAEjD,IAAI,WAAmB,CAAC;YACxB,IAAI,cAAc,EAAE,CAAC;gBACnB,iCAAiC;gBACjC,WAAW,GAAG,GAAG,QAAQ,aAAa,cAAc,IAAI,QAAQ,KAAK,SAAS,GAAG,CAAC;YACpF,CAAC;iBAAM,CAAC;gBACN,WAAW,GAAG,UAAU,MAAM,IAAI,QAAQ,KAAK,SAAS,GAAG,CAAC;YAC9D,CAAC;YAED,IAAI,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,CAAC;gBACX,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,SAAS;gBAChB,GAAG,EAAE,OAAO;gBACZ,WAAW;aACZ,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/converter/gd-to-ts/helpers/ready-field-types.d.ts

@@ -0,0 +1,48 @@
+/**
+ * Ready field types helper for GD-to-TS post-processing.
+ * Collects TS7008/TS2564 errors on class properties and produces fixes
+ * that add `!` and infer types from `_ready()` assignments.
+ */
+import ts from 'typescript';
+import type { GodotClassRegistry } from '../../../typings/godot-registry.ts';
+import type { SourceFix } from '../ts-helpers.ts';
+/**
+ * TS error codes for class properties that need type/initializer fixes.
+ * - TS7008: Member 'X' implicitly has an 'any' type.
+ * - TS2564: Property 'X' has no initializer and is not definitely assigned in the constructor.
+ */
+export declare const TS_CLASS_READY_ERROR_CODES: Set<number>;
+/**
+ * Walk up from a node to find the enclosing ClassDeclaration.
+ */
+export declare function findEnclosingClass(node: ts.Node): ts.ClassDeclaration | undefined;
+/**
+ * Find `this.<propName> = <expr>` assignment inside a `_ready` method body.
+ * Returns the right-hand-side expression of the first matching assignment.
+ */
+export declare function findReadyAssignment(cls: ts.ClassDeclaration, propName: string): ts.Expression | undefined;
+/**
+ * Infer a type annotation text from an expression.
+ * Uses `typeof <text>` for identifiers and property accesses, otherwise
+ * falls back to the TS type checker's string representation.
+ */
+export declare function inferTypeFromExpression(expr: ts.Expression, checker: ts.TypeChecker, sourceFile: ts.SourceFile): string;
+/**
+ * Names of GDScript primitive/value types that always have a non-null default
+ * value at runtime (so they're effectively initialized even without an
+ * explicit assignment). For TS2564 fields of these types, we add `!` even if
+ * there's no `_ready()` assignment.
+ */
+export declare const GD_BUILTIN_PRIMITIVE_TYPES: Set<string>;
+export declare function isGdPrimitiveType(typeText: string, registry: GodotClassRegistry | undefined): boolean;
+/**
+ * Collect TS7008/TS2564 errors on class properties that are assigned in
+ * `_ready()` and produce fixes:
+ * - For both error codes, only fields assigned in `_ready()` are considered.
+ * - Adds `!` (definite-assignment assertion) so TypeScript stops complaining
+ *   about missing initializers.
+ * - For TS7008 (no type declared), additionally inserts a type annotation
+ *   inferred from the `_ready()` assignment expression.
+ */
+export declare function collectReadyFieldTypeFixes(program: ts.Program, filePaths: Set<string>, registry: GodotClassRegistry | undefined, unsafeUseAny: boolean): Map<string, SourceFix[]>;
+//# sourceMappingURL=ready-field-types.d.ts.map

package/dist/converter/gd-to-ts/helpers/ready-field-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ready-field-types.d.ts","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/ready-field-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAGlD;;;;GAIG;AACH,eAAO,MAAM,0BAA0B,aAAwB,CAAC;AAEhE;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,EAAE,CAAC,gBAAgB,GAAG,SAAS,CAOjC;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,GAAG,EAAE,EAAE,CAAC,gBAAgB,EACxB,QAAQ,EAAE,MAAM,GACf,EAAE,CAAC,UAAU,GAAG,SAAS,CA4B3B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,EAAE,CAAC,UAAU,EACnB,OAAO,EAAE,EAAE,CAAC,WAAW,EACvB,UAAU,EAAE,EAAE,CAAC,UAAU,GACxB,MAAM,CAcR;AAED;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,aAQrC,CAAC;AAEH,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,GACvC,OAAO,CAUT;AAeD;;;;;;;;GAQG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,EACtB,QAAQ,EAAE,kBAAkB,GAAG,SAAS,EACxC,YAAY,EAAE,OAAO,GACpB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAoG1B"}

package/dist/converter/gd-to-ts/helpers/ready-field-types.js

@@ -0,0 +1,217 @@
+/**
+ * Ready field types helper for GD-to-TS post-processing.
+ * Collects TS7008/TS2564 errors on class properties and produces fixes
+ * that add `!` and infer types from `_ready()` assignments.
+ */
+import ts from 'typescript';
+import { findNodeAt } from "./explicit-convert.js";
+/**
+ * TS error codes for class properties that need type/initializer fixes.
+ * - TS7008: Member 'X' implicitly has an 'any' type.
+ * - TS2564: Property 'X' has no initializer and is not definitely assigned in the constructor.
+ */
+export const TS_CLASS_READY_ERROR_CODES = new Set([7008, 2564]);
+/**
+ * Walk up from a node to find the enclosing ClassDeclaration.
+ */
+export function findEnclosingClass(node) {
+    let current = node;
+    while (current) {
+        if (ts.isClassDeclaration(current))
+            return current;
+        current = current.parent;
+    }
+    return undefined;
+}
+/**
+ * Find `this.<propName> = <expr>` assignment inside a `_ready` method body.
+ * Returns the right-hand-side expression of the first matching assignment.
+ */
+export function findReadyAssignment(cls, propName) {
+    // Find _ready method
+    const readyMethod = cls.members.find((m) => ts.isMethodDeclaration(m) &&
+        !!m.name &&
+        ts.isIdentifier(m.name) &&
+        m.name.text === '_ready');
+    if (!readyMethod?.body)
+        return undefined;
+    let result;
+    function visit(node) {
+        if (result)
+            return;
+        if (ts.isBinaryExpression(node) &&
+            node.operatorToken.kind === ts.SyntaxKind.EqualsToken &&
+            ts.isPropertyAccessExpression(node.left) &&
+            node.left.expression.kind === ts.SyntaxKind.ThisKeyword &&
+            node.left.name.text === propName) {
+            result = node.right;
+            return;
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(readyMethod.body);
+    return result;
+}
+/**
+ * Infer a type annotation text from an expression.
+ * Uses `typeof <text>` for identifiers and property accesses, otherwise
+ * falls back to the TS type checker's string representation.
+ */
+export function inferTypeFromExpression(expr, checker, sourceFile) {
+    if (ts.isIdentifier(expr) || ts.isPropertyAccessExpression(expr)) {
+        return `typeof ${expr.getText(sourceFile)}`;
+    }
+    // Fall back to the TS checker for literals / calls / new expressions.
+    // Widen literal types (42 -> number, "foo" -> string) so stored fields keep
+    // their general type rather than pinning to the specific literal value.
+    let type = checker.getTypeAtLocation(expr);
+    type = checker.getBaseTypeOfLiteralType(type);
+    return checker.typeToString(type, expr, ts.TypeFormatFlags.NoTruncation | ts.TypeFormatFlags.UseFullyQualifiedType);
+}
+/**
+ * Names of GDScript primitive/value types that always have a non-null default
+ * value at runtime (so they're effectively initialized even without an
+ * explicit assignment). For TS2564 fields of these types, we add `!` even if
+ * there's no `_ready()` assignment.
+ */
+export const GD_BUILTIN_PRIMITIVE_TYPES = new Set([
+    'int',
+    'float',
+    'bool',
+    'boolean',
+    'string',
+    'String',
+    'number',
+]);
+export function isGdPrimitiveType(typeText, registry) {
+    const t = typeText.trim();
+    if (GD_BUILTIN_PRIMITIVE_TYPES.has(t))
+        return true;
+    // Strip generic params for checks like `Array<int>` -> `Array`
+    const bare = t.replace(/<.*>$/, '').trim();
+    if (GD_BUILTIN_PRIMITIVE_TYPES.has(bare))
+        return true;
+    // All Godot value types (Vector2, Color, Packed*Array, Array, Dictionary,
+    // StringName, NodePath, Callable, Signal, etc.) are listed in the
+    // registry's `constructors` field -- they all have GDScript default values.
+    return !!registry?.isConstructor(bare);
+}
+/**
+ * True when the TS checker resolves the annotation to an enum (or enum
+ * literal). Enum-typed fields default to `0` at runtime in GDScript, so
+ * they're effectively initialized just like primitives.
+ */
+function isEnumLikeType(typeNode, checker) {
+    const type = checker.getTypeAtLocation(typeNode);
+    return !!(type.flags & ts.TypeFlags.EnumLike);
+}
+/**
+ * Collect TS7008/TS2564 errors on class properties that are assigned in
+ * `_ready()` and produce fixes:
+ * - For both error codes, only fields assigned in `_ready()` are considered.
+ * - Adds `!` (definite-assignment assertion) so TypeScript stops complaining
+ *   about missing initializers.
+ * - For TS7008 (no type declared), additionally inserts a type annotation
+ *   inferred from the `_ready()` assignment expression.
+ */
+export function collectReadyFieldTypeFixes(program, filePaths, registry, unsafeUseAny) {
+    const fixesByFile = new Map();
+    const checker = program.getTypeChecker();
+    for (const sourceFile of program.getSourceFiles()) {
+        const fileName = sourceFile.fileName;
+        if (!filePaths.has(fileName))
+            continue;
+        const diagnostics = program.getSemanticDiagnostics(sourceFile);
+        const fixedRanges = [];
+        function overlapsExisting(start, end) {
+            return fixedRanges.some((r) => (start >= r.start && start < r.end) ||
+                (end > r.start && end <= r.end) ||
+                (start <= r.start && end >= r.end));
+        }
+        for (const diag of diagnostics) {
+            if (!TS_CLASS_READY_ERROR_CODES.has(diag.code))
+                continue;
+            if (diag.start === undefined || diag.length === undefined)
+                continue;
+            // Find the PropertyDeclaration at the diagnostic position
+            const node = findNodeAt(sourceFile, diag.start, diag.length);
+            if (!node)
+                continue;
+            let propDecl;
+            let current = node;
+            while (current) {
+                if (ts.isPropertyDeclaration(current)) {
+                    propDecl = current;
+                    break;
+                }
+                current = current.parent;
+            }
+            if (!propDecl || !ts.isIdentifier(propDecl.name))
+                continue;
+            const propName = propDecl.name.text;
+            const nameEnd = propDecl.name.getEnd();
+            if (overlapsExisting(nameEnd, nameEnd + 1))
+                continue;
+            // Already has a `!` (definite-assignment assertion) or a `?` (optional)
+            // -- skip in either case.
+            if (propDecl.exclamationToken || propDecl.questionToken)
+                continue;
+            const cls = findEnclosingClass(propDecl);
+            if (!cls)
+                continue;
+            const rhs = findReadyAssignment(cls, propName);
+            let insertText;
+            if (diag.code === 2564) {
+                // Property has a type but no initializer.
+                //  - Assigned in _ready  -> `!` (definite-assignment assertion)
+                //  - GDScript primitive / value type / enum -> `!` (non-null runtime default)
+                //  - Otherwise -> skip (the nullable helper handles non-primitive
+                //    unassigned fields by rewriting them to `field: T | null = null`;
+                //    any that remain here lack a type the nullable helper recognized
+                //    as reference, so we can't make a safe decision).
+                if (rhs) {
+                    insertText = '!';
+                }
+                else {
+                    const declaredType = propDecl.type
+                        ? propDecl.type.getText(sourceFile)
+                        : '';
+                    const primitive = isGdPrimitiveType(declaredType, registry);
+                    const enumLike = propDecl.type
+                        ? isEnumLikeType(propDecl.type, checker)
+                        : false;
+                    if (primitive || enumLike) {
+                        insertText = '!';
+                    }
+                    else {
+                        continue;
+                    }
+                }
+            }
+            else {
+                // TS7008: no type declared -- only fixable if we can infer from _ready
+                if (propDecl.type)
+                    continue;
+                if (!rhs)
+                    continue;
+                const typeText = inferTypeFromExpression(rhs, checker, sourceFile);
+                if (!typeText || typeText === 'any' || typeText === 'error')
+                    continue;
+                insertText = `!: ${typeText}`;
+            }
+            let fixes = fixesByFile.get(fileName);
+            if (!fixes) {
+                fixes = [];
+                fixesByFile.set(fileName, fixes);
+            }
+            fixes.push({
+                start: nameEnd,
+                end: nameEnd,
+                replacement: insertText,
+            });
+            fixedRanges.push({ start: nameEnd, end: nameEnd + insertText.length });
+        }
+    }
+    return fixesByFile;
+}
+//# sourceMappingURL=ready-field-types.js.map

package/dist/converter/gd-to-ts/helpers/ready-field-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ready-field-types.js","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/ready-field-types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAG5B,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AAEnD;;;;GAIG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEhE;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,IAAa;IAEb,IAAI,OAAO,GAAwB,IAAI,CAAC;IACxC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAAE,OAAO,OAAO,CAAC;QACnD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,GAAwB,EACxB,QAAgB;IAEhB,qBAAqB;IACrB,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAClC,CAAC,CAAC,EAA6B,EAAE,CAC/B,EAAE,CAAC,mBAAmB,CAAC,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC,CAAC,IAAI;QACR,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC;QACvB,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,CAC3B,CAAC;IACF,IAAI,CAAC,WAAW,EAAE,IAAI;QAAE,OAAO,SAAS,CAAC;IAEzC,IAAI,MAAiC,CAAC;IACtC,SAAS,KAAK,CAAC,IAAa;QAC1B,IAAI,MAAM;YAAE,OAAO;QACnB,IACE,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,IAAI,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACrD,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YACvD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAChC,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC;YACpB,OAAO;QACT,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IACD,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAmB,EACnB,OAAuB,EACvB,UAAyB;IAEzB,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;QACjE,OAAO,UAAU,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;IAC9C,CAAC;IACD,sEAAsE;IACtE,4EAA4E;IAC5E,wEAAwE;IACxE,IAAI,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC3C,IAAI,GAAG,OAAO,CAAC,wBAAwB,CAAC,IAAI,CAAC,CAAC;IAC9C,OAAO,OAAO,CAAC,YAAY,CACzB,IAAI,EACJ,IAAI,EACJ,EAAE,CAAC,eAAe,CAAC,YAAY,GAAG,EAAE,CAAC,eAAe,CAAC,qBAAqB,CAC3E,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,GAAG,CAAC;IAChD,KAAK;IACL,OAAO;IACP,MAAM;IACN,SAAS;IACT,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,UAAU,iBAAiB,CAC/B,QAAgB,EAChB,QAAwC;IAExC,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC1B,IAAI,0BAA0B,CAAC,GAAG,CAAC,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACnD,+DAA+D;IAC/D,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,IAAI,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,0EAA0E;IAC1E,kEAAkE;IAClE,4EAA4E;IAC5E,OAAO,CAAC,CAAC,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;AACzC,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CACrB,QAAqB,EACrB,OAAuB;IAEvB,MAAM,IAAI,GAAG,OAAO,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACjD,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAAmB,EACnB,SAAsB,EACtB,QAAwC,EACxC,YAAqB;IAErB,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC;QAClD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,SAAS;QAEvC,MAAM,WAAW,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC/D,MAAM,WAAW,GAA0C,EAAE,CAAC;QAE9D,SAAS,gBAAgB,CAAC,KAAa,EAAE,GAAW;YAClD,OAAO,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;gBACnC,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC;gBAC/B,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CACrC,CAAC;QACJ,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,0BAA0B,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAS;YAEpE,0DAA0D;YAC1D,MAAM,IAAI,GAAG,UAAU,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;YAC7D,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,QAA4C,CAAC;YACjD,IAAI,OAAO,GAAwB,IAAI,CAAC;YACxC,OAAO,OAAO,EAAE,CAAC;gBACf,IAAI,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;oBACtC,QAAQ,GAAG,OAAO,CAAC;oBACnB,MAAM;gBACR,CAAC;gBACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;YAC3B,CAAC;YACD,IAAI,CAAC,QAAQ,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAE3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YACpC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACvC,IAAI,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,CAAC,CAAC;gBAAE,SAAS;YAErD,wEAAwE;YACxE,0BAA0B;YAC1B,IAAI,QAAQ,CAAC,gBAAgB,IAAI,QAAQ,CAAC,aAAa;gBAAE,SAAS;YAElE,MAAM,GAAG,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;YACzC,IAAI,CAAC,GAAG;gBAAE,SAAS;YACnB,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;YAE/C,IAAI,UAAkB,CAAC;YACvB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,0CAA0C;gBAC1C,gEAAgE;gBAChE,8EAA8E;gBAC9E,kEAAkE;gBAClE,sEAAsE;gBACtE,qEAAqE;gBACrE,sDAAsD;gBACtD,IAAI,GAAG,EAAE,CAAC;oBACR,UAAU,GAAG,GAAG,CAAC;gBACnB,CAAC;qBAAM,CAAC;oBACN,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI;wBAChC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;wBACnC,CAAC,CAAC,EAAE,CAAC;oBACP,MAAM,SAAS,GAAG,iBAAiB,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC;oBAC5D,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI;wBAC5B,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;wBACxC,CAAC,CAAC,KAAK,CAAC;oBACV,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;wBAC1B,UAAU,GAAG,GAAG,CAAC;oBACnB,CAAC;yBAAM,CAAC;wBACN,SAAS;oBACX,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,uEAAuE;gBACvE,IAAI,QAAQ,CAAC,IAAI;oBAAE,SAAS;gBAC5B,IAAI,CAAC,GAAG;oBAAE,SAAS;gBACnB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,UAAU,CAAC,CAAC;gBACnE,IAAI,CAAC,QAAQ,IAAI,QAAQ,KAAK,KAAK,IAAI,QAAQ,KAAK,OAAO;oBAAE,SAAS;gBACtE,UAAU,GAAG,MAAM,QAAQ,EAAE,CAAC;YAChC,CAAC;YAED,IAAI,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACtC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,KAAK,GAAG,EAAE,CAAC;gBACX,WAAW,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnC,CAAC;YACD,KAAK,CAAC,IAAI,CAAC;gBACT,KAAK,EAAE,OAAO;gBACd,GAAG,EAAE,OAAO;gBACZ,WAAW,EAAE,UAAU;aACxB,CAAC,CAAC;YACH,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/converter/gd-to-ts/helpers/unsafe-helpers.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Unsafe helper fixes for GD-to-TS post-processing.
+ * - collectUnsafeAnyFieldFixes: adds `any` type annotations to untyped fields/params
+ * - collectUnsafeNonNullFixes: adds `!` non-null assertions for "possibly null" errors
+ * - collectExtendsTypeFixes: copies parent method param types to overrides
+ */
+import ts from 'typescript';
+import type { SourceFix } from '../ts-helpers.ts';
+/**
+ * TS error code for implicit-any parameters.
+ * - TS7006: Parameter 'X' implicitly has an 'any' type.
+ */
+export declare const TS_IMPLICIT_ANY_PARAM_CODE = 7006;
+/**
+ * Walk up from a node to find the enclosing MethodDeclaration.
+ */
+export declare function findEnclosingMethod(node: ts.Node): ts.MethodDeclaration | undefined;
+/**
+ * Look up the parent-class signature for a method by name, walking the
+ * inheritance chain via the TS checker. Returns the first call signature found.
+ */
+export declare function findParentMethodSignature(cls: ts.ClassDeclaration, methodName: string, checker: ts.TypeChecker): ts.Signature | undefined;
+/**
+ * Collect TS7006 errors on parameters of methods that override inherited
+ * methods, and produce type-annotation insertion fixes using the parent's
+ * parameter types.
+ */
+export declare function collectExtendsTypeFixes(program: ts.Program, filePaths: Set<string>): Map<string, SourceFix[]>;
+/**
+ * (unsafe) Add `any` type annotations to any class properties and function
+ * parameters that still have no explicit type after other helpers have run.
+ * Only activated via `--unsafe-use-any`. Intended as a final cleanup pass so
+ * the converted TS code compiles even when earlier helpers couldn't infer a
+ * concrete type.
+ *
+ * - Class property without a type -> insert `!: any` after the name (or `: any`
+ *   after an existing `!`/`?` token). Ignores properties that already have
+ *   a type annotation.
+ * - Function/method/arrow/constructor parameter without a type -> insert
+ *   `: any` after the parameter name (or after its `?` token if optional).
+ *   Rest parameters get `: any[]`.
+ */
+export declare function collectUnsafeAnyFieldFixes(program: ts.Program, filePaths: Set<string>): Map<string, SourceFix[]>;
+/**
+ * TS error codes for "possibly null/undefined" that can be suppressed with `!`.
+ * - TS2531: Object is possibly 'null'.
+ * - TS18047: 'X' is possibly 'null'.
+ * - TS18048: 'X' is possibly 'null' or 'undefined'.
+ * - TS18046: 'X' is of type 'unknown'.
+ */
+export declare const TS_POSSIBLY_NULL_CODES: Set<number>;
+/**
+ * Check if a TS2322 diagnostic is caused by null in a union type.
+ * Looks for "Type 'null' is not assignable to type" in the message chain.
+ */
+export declare function isNullAssignmentError(messageText: string | ts.DiagnosticMessageChain): boolean;
+/**
+ * Collect "possibly null" errors and produce `!` (non-null assertion) fixes.
+ * Also handles TS2322 where the error is caused by `T | null` assigned to `T`
+ * (adds `!` after the RHS expression).
+ * Only runs when `--unsafe-use-any` is set (Phase 2).
+ */
+export declare function collectUnsafeNonNullFixes(program: ts.Program, filePaths: Set<string>): Map<string, SourceFix[]>;
+//# sourceMappingURL=unsafe-helpers.d.ts.map

package/dist/converter/gd-to-ts/helpers/unsafe-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unsafe-helpers.d.ts","sourceRoot":"","sources":["../../../../src/converter/gd-to-ts/helpers/unsafe-helpers.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAMlD;;;GAGG;AACH,eAAO,MAAM,0BAA0B,OAAO,CAAC;AAE/C;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,EAAE,CAAC,IAAI,GACZ,EAAE,CAAC,iBAAiB,GAAG,SAAS,CAOlC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,GAAG,EAAE,EAAE,CAAC,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,EAAE,CAAC,WAAW,GACtB,EAAE,CAAC,SAAS,GAAG,SAAS,CAe1B;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CA2F1B;AAID;;;;;;;;;;;;;GAaG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CA0F1B;AAID;;;;;;GAMG;AACH,eAAO,MAAM,sBAAsB,aAAuC,CAAC;AAE3E;;;GAGG;AACH,wBAAgB,qBAAqB,CACnC,WAAW,EAAE,MAAM,GAAG,EAAE,CAAC,sBAAsB,GAC9C,OAAO,CAYT;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,EAAE,CAAC,OAAO,EACnB,SAAS,EAAE,GAAG,CAAC,MAAM,CAAC,GACrB,GAAG,CAAC,MAAM,EAAE,SAAS,EAAE,CAAC,CAqE1B"}