ActorLogic type that takes an Event type in Typescript

[PaulHax]

I'm wondering how to type an ActorLogic that takes a specific event? The ActorLogic should also be able to take other unknown events.

type MyEvent = { type: 'myEvent' };
type MyActor =  ActorLogic<any, MyEvent | AnyEventObject, any, any>;
function sendMyEvent(myEventRecevingActor: MyActor) {
  myEventRecevingActor.send({ type: 'myEvent' });
  // myEventRecevingActor.send({ type: 'otherEvent' }); // Idealy this would be an error.  
  // It should be OK to pass an actor with other events to this fucntion, but not OK to send those events in this fucntion.
}

const actorThatAlsoTakesOtherEvent = createActor( machineTakingMyEventAndOtherEvent).start()
sendMyEvent(actorThatAlsoTakesOtherEvent) // <-- Wish this worked but getting Typscript error:
// Error:  AnyEventObject is not assignable to OtherEvent

Ideally, a MyActor typed variable could be assigned an actor that takes events other than MyEvent, but would error with
myActor.send({ type: 'otherEvent' })

[davidkpiano]

I'm not sure if this is currently possible (cc. @Andarist)

[Andarist]

import { setup, createActor, Snapshot, ActorRef } from "xstate"; // types: 5.9.1

type MyEvent = { type: "myEvent" };
type MyActor = ActorRef<Snapshot<unknown>, MyEvent, any>;
function sendMyEvent(myEventRecevingActor: MyActor) {
  myEventRecevingActor.send({ type: "myEvent" });
  // @ts-expect-error
  myEventRecevingActor.send({ type: "otherEvent" });
}

const machineTakingMyEventAndOtherEvent = setup({
  types: {} as {
    events:
      | {
          type: "myEvent";
        }
      | {
          type: "yetAnotherEvent";
        };
  },
}).createMachine({});

const actorThatAlsoTakesOtherEvent = createActor(
  machineTakingMyEventAndOtherEvent,
).start();

// ok
sendMyEvent(actorThatAlsoTakesOtherEvent);

TS playground