Check an obj field against the keys of a field from the same object without providing generic.

[naive niche]

Here is my code example.
https://www.typescriptlang.org/play?#code/LAKFoUwDwBwewE4BcAEBLAdkiCBmBDAYwhQAUE4A3NAExxQG9QUVc0EIAuFACgEoAvAD4UlOLVABfcGBDR4yFIQA2+AM5qyFGgFdCSNHAzkqtemgC2MZRAsQsmk9ToJGzFO5gI0lfNhQc+DRGygCeKPgwaADSEKGcakjeGADm7oRGiQh6SIg8kTFxCUmYKXxMICwsSAAWaGoAdAWxoQIRUS3u0pXubBz8FVVKmXA2DcpwKTwARABKcIQA1hBI03xdUjLyiKgq6poAIhCUTmaulta29kiOFM70g6zsEAPuLBkYaqMQ45MzALIQCYYNYbEDdLawHYoJChGAkUj4ZBofDKWYQDIIGgAHmiKGg2AwNE0y1CcFwEQwoQANAA1ERtRHI1HY9GYnHRakoelCSEKVCw+EodEARx0zwAgkgADIQdRIADyGAg2IAKlyWpoCfZiShSeSUKqUG19RTVQz3KQ0Es1VyAKJQFQ6OjY02GjVxNRCXmVFAAMjcvoA2njMChNQBdAC0AH5uKLxRwcVaberw97-WQkQYWSnFraUA6nS7NRrvT7JCHPRGZJAoYpBSQAMo6GD8iA0AByKwA7ohFsaUNM6JRpigAD5DrxwGjTOv8mFwhF3M5qADCRjYKUHCclMrliSVKqZObRGMQOJbbZ2He7SD7CEWXNOLm9tdk2wbS5QG4wW8HjzTvcCBqNwL44Oum5oGkvp0AQOjKEg4EINwbrIZBf7QZssigB8iTDJhKTcL+-5tIBK4uKBgZDCO3DKj2KBHCcFE4Pw1LMF07GwRA8GIch3DTNOs4sAA9CJKAAJIoD2+BYDCcCLvChA1BAA61PUEQpPgmCoEBq4oHAABGABWGKoD2aC1HAOioASCD4CgKT2Dg1ooGoSloGwhB+IYGDYaAQA

[wise mica]

@naive niche Here's a shortened URL of your playground link! You can remove the full link from your message.

nejcr#4575

Playground Link

Preview:```ts
export interface Provider {
fire: () => void
}

export class ProductionProvider implements Provider {
private readonly apiKey: string
constructor(apiKey: string) {
this.apiKey = apiKey
}

fire() {
console.log("Rocket")
}
}

export class DevProvider implements Provider {
...```

You can choose specific lines to embed by selecting them before copying the link.

[frail mauve]

seem that no good way if using a pure variable variable define statement, but u can try define a function like defineConfig?

[naive niche]

hm ok,

[random schooner]

No way to do this without a generic - satisfies isn't good enough since you have associated types

[wise mica]

Gerrit0#7591

Playground Link

Preview:```ts
...
function defineConfig<
T extends SupportedNetwork

(config: {
providers: Record<T, Provider>
defaultProvider: NoInfer<T>
}) {
return config
}
...```