тоящее время я пытаюсь улучшить типы в некотором существующем коде. Мой код выглядит примерно так:

/* dispatcher.ts */
interface Message {
    messageType: string;
}

class Dispatcher<M extends Message> {    
    on<
        MessageType extends M["messageType"],
        SubMessage extends M & { messageType: MessageType }
    >(
        messageType: MessageType,
        handler: (message: SubMessage) => void
    ): void { }
}

/* messages.ts */
interface AddCommentMessage {
    messageType: "ADD_COMMENT";
    commentId: number;
    comment: string;
    userId: number;
}

interface PostPictureMessage {
    messageType: "POST_PICTURE";
    pictureId: number;
    userId: number;
}

type AppMessage = AddCommentMessage | PostPictureMessage;

/* app.ts */
const dispatcher = new Dispatcher<AppMessage>();

dispatcher.on("ADD_COMMENT", (message: AddCommentMessage ) => {
                                    /* ^^ REMOVE THIS TYPE HINT!*/
    console.log(message.comment);
});

Я хотел бы убрать необходимость явного сужения типа сообщения, передаваемого обработчику сообщений (где/*REMOVE THIS TYPE HINT!*/ есть), так что он правильно сужается к типу, который имеет соответствующийmessageType тип (например, еслиmessageType является"ADD_COMMENT" затемmessage должно бытьAddCommentMessage).

Если это невозможно сейчас, пожалуйста, дайте мне знать. У меня сложилось впечатление, что это не так, но я не совсем уверен.