Fixed types compatibility with TS 5.0 (#4728)

Author: Andarist

.changeset/honest-moons-ring.md

@@ -0,0 +1,5 @@
+---
+'xstate': patch
+---
+
+Fixed compatibility issue of the internal type definitions with TypeScript 5.0

packages/core/src/setup.ts

@@ -61,7 +61,7 @@ type ToProvidedActor<
     id: IsNever<TChildrenMap> extends true
       ? string | undefined
       : K extends keyof Invert<TChildrenMap>
-        ? Invert<TChildrenMap>[K]
+        ? Invert<TChildrenMap>[K] & string
         : string | undefined;
   };
 }>;

packages/core/src/types.ts

@@ -2348,19 +2348,21 @@ export type ToChildren<TActor extends ProvidedActor> =
       // or maybe even `TActor["logic"]` since it's possible to configure `{ src: string; logic: SomeConcreteLogic }`
       // TODO: consider adding `| undefined` here
       Record<string, AnyActorRef>
-    : ToConcreteChildren<TActor> &
-        {
-          include: {
-            [id: string]: TActor extends any
-              ? ActorRefFrom<TActor['logic']> | undefined
-              : never;
-          };
-          exclude: {};
-        }[undefined extends TActor['id'] // if not all actors have literal string IDs then we need to create an index signature containing all possible actor types
-          ? 'include'
-          : string extends TActor['id']
+    : Compute<
+        ToConcreteChildren<TActor> &
+          {
+            include: {
+              [id: string]: TActor extends any
+                ? ActorRefFrom<TActor['logic']> | undefined
+                : never;
+            };
+            exclude: {};
+          }[undefined extends TActor['id'] // if not all actors have literal string IDs then we need to create an index signature containing all possible actor types
             ? 'include'
-            : 'exclude'];
+            : string extends TActor['id']
+              ? 'include'
+              : 'exclude']
+      >;
 
 export type StateSchema = {
   states?: Record<string, StateSchema>;