嗨，如果你想有效地区分这个联合，类型参数不应该是一个联合，而是寻求“推”联合一个类型。这是因为我们希望每个Step类型有它自己唯一的类型参数，而不是可能的类型参数的联合。所以一个小的变化，但完成你想要的。

const steps: Record<string, Step<'Test1'> | Step<'Test2'>> = {
    "Step1": {
        type: "Test1",
        value: {
            // infer ?
            age: 11,
// ^^^ correctly throws error 
// Object literal may only specify known properties, and 'age' does not exist in type '{ name: string; }'.(2322)
            name: 'test',
        }
    }
}

使用索引访问Map类型，如果有更多的键/值对，您可以自动创建一个有区别的并集。

type Steps = Record<string, {
    [key in StepKeys]: Step<key>
}[StepKeys]>

View on TS Playground

唯一能达到你想要的效果的方法不是很好，但它确实有效，问题是你必须手动输入每一个键（这使得它不可能通用或可伸缩）。

interface PeoplePropsMap {
    withName: {
        name: string
    },

    withAge: {
        age: number
    }
};

type People =
    { type: 'withName', value: PeoplePropsMap['withName'] } |
    { type: 'withAge',  value: PeoplePropsMap['withAge']  }

const steps: Record<string, People> = {
    john: {
        type: 'withAge',
        value: {
            age: 10  
        }
    }
}