我们为Typescript构建了一个类型生成器，它输出的类型如下所示：

type Def$9f45cffb = {
    'title': string,
    'subtitle': string,
    'cta': Def$3f75f612,
};

type Def$3f75f612 = {
    'variant': 'primary' | 'secondary',
    'label': string,
    'link': string,
};

type Def$46b580bc = {
    'title': string,
    'subtitle'?: string,
    'cta': Def$3f75f612,
};

declare module 'component' {
    type VerticalBannerV1_0 = Def$9f45cffb;

    export interface VersionedComponentMap {
        'vertical-banner': {
            latest: VerticalBannerV1_0,
            '1.0': VerticalBannerV1_0,
        };
    }
}

declare module 'slot' {
    type HomeBannerV1_0 = Def$46b580bc;
    type HomeBannerV2_0 = Def$9f45cffb;

    export interface VersionedSlotMap {
        'home-banner': {
            latest: HomeBannerV2_0,
            '1.0': HomeBannerV1_0,
            '2.0': HomeBannerV2_0,
        };
    }
}

注意，类型在两个Map之间被重用以避免重复，这样做效果很好，除了别名被扩展，使得调试成为一场噩梦：

我知道TypeScript不提供保留类型别名的保证。我正在寻找解决此问题的方法，以提供更好的开发人员体验。
例如，我的目标是防止别名被扩展，这样HomeBannerV2_0就不会变成Def$46b580bc。
这是我目前得到的type example = VersionedSlotMap['home-banner'][keyof VersionedSlotMap['home-banner']]; }：

Def$46b580bc | Def$9f45cffb

这就是我想要的

HomeBannerV1_0 | HomeBannerV2_0