feat: Improved support for statically typed optional nodes

Author: Benjamin-Dobell

.changeset/tanquam-colinephritis-kanten.md

@@ -0,0 +1,5 @@
+---
+"@godot-js/editor": patch
+---
+
+**Types:** Improved support for statically typed optional nodes.

scripts/jsb.editor/src/jsb.editor.codegen.ts

@@ -422,7 +422,7 @@ const TypeMutations: Record<string, TypeMutation> = {
             get_children: mutate_return_type('GArray<NodePathMapChild<Map>>'),
             get_node: ["get_node<Path extends StaticNodePath<Map>, Default = never>(path: Path): ResolveNodePath<Map, Path, Default>"],
             get_node_or_null: [
-                "get_node_or_null<Path extends StaticNodePath<Map>, Default = never>(path: Path): null | ResolveNodePath<Map, Path, Default>",
+                "get_node_or_null<Path extends StaticNodePath<Map, undefined | Node>, Default = null>(path: Path): null | ResolveNodePath<Map, Path, Default, undefined | Node>",
                 "get_node_or_null(path: NodePath | string): null | Node",
             ],
             move_child: mutate_parameter_type(names.get_parameter('child_node'), 'NodePathMapChild<Map>'),

scripts/typings/godot.mix.d.ts

@@ -156,8 +156,10 @@ declare module "godot" {
         DummyKey extends any
             ? (
                 Path extends keyof Map
-                    ? Map[Path] extends Permitted
-                        ? Map[Path]
+                    ? [Map[Path]] extends [Permitted]
+                        ? [undefined] extends [Map[Path]]
+                            ? null | Exclude<Map[Path], undefined>
+                            : Map[Path]
                         : Default
                     : Path extends `${infer Key extends Exclude<keyof Map, DefaultKey> & string}/${infer SubPath}`
                         ? Map[Key] extends PathMappable<DummyKey, infer ChildMap>
@@ -177,9 +179,9 @@ declare module "godot" {
     >;
 
     type NodePathMap = PathMap<Node>;
-    type StaticNodePath<Map extends NodePathMap> = StaticPath<Map, Node, never, typeof __PathMappableDummyKeys.Node>;
-    type ResolveNodePath<Map extends NodePathMap, Path extends string, Default = never> =
-        ResolvePath<Map, Path, Default, Node, never, typeof __PathMappableDummyKeys.Node>;
+    type StaticNodePath<Map extends NodePathMap, Permitted = Node> = StaticPath<Map, Permitted, never, typeof __PathMappableDummyKeys.Node>;
+    type ResolveNodePath<Map extends NodePathMap, Path extends string, Default = never, Permitted = Node> =
+        ResolvePath<Map, Path, Default, Permitted, never, typeof __PathMappableDummyKeys.Node>;
     type ResolveNodePathMap<Map extends NodePathMap, Path extends string, Default = never> = Path extends keyof Map
       ? Map[Path] extends Node<infer ChildMap>
         ? ChildMap