Atualmente, estou tentando melhorar os tipos em algum código existente. Meu código é mais ou menos assim:

/* 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);
});

Gostaria de remover a necessidade de restringir explicitamente o tipo de mensagem passada ao manipulador de mensagens (em que/*REMOVE THIS TYPE HINT!*/ é), de forma que ele se restrinja corretamente ao tipo que possui uma correspondênciamessageType tipo (por exemplo, semessageType é"ADD_COMMENT" entãomessage deveria estarAddCommentMessage)

Se isso não for possível no momento, informe-me. Tenho a impressão de que não é, mas não tenho muita certeza.