Generic return type (T[K]) is intersection among all properties of T instead of union

Bug Report

🔎 Search Terms

conditionally generic return type, union vs intersection, valueof etc

🕗 Version & Regression Information

This changed between versions 3.3.3 and 3.5

⏯ Playground Link

💻 Code

export interface ConfigA {
  user: string
}

export interface ConfigB {
  [key: string]: number | string | boolean
}

export interface Config {
  A?: ConfigA
  B?: ConfigB
}

export class ConfigClass {
  config: Config = {}
  get(key: keyof Config) {
    return this.config[key]
  }
}

type ValueOf<T> = T[keyof T]

const config = new ConfigClass()

function a<K extends keyof Config>(key: K): Config[K] {
  return config.get(key)
}

🙁 Actual behavior

Type 'ConfigA | ConfigB | undefined' is not assignable to type 'Config[K]'.
Type 'ConfigA' is not assignable to type 'Config[K]'.
Type 'ConfigA' is not assignable to type 'ConfigA & ConfigB'.
Type 'ConfigA' is not assignable to type 'ConfigB'.
Index signature for type 'string' is missing in type 'ConfigA'.

🙂 Expected behavior

I would expect no error of returning config.get(key) within function a

get needs to be generic; otherwise, the return type is essentially Config[keyof T].

get needs to be generic; otherwise, the return type is essentially Config[keyof T].

thanks! But even with Config[keyof T], should not it be ConfigA | ConfigB instead of ConfigA & ConfigB ?

The example is a simplified case just for the minimum repro, in reality we are having this issue with a IPC proxy, and the final xx.get is also generic, but I am getting exact same error, maybe I should update the playground with a more realistic case.

But even with Config[keyof T], should not it be ConfigA | ConfigB instead of ConfigA & ConfigB ?

It’s a side effect of #30769.

This issue has been marked 'Working as Intended' and has seen no recent activity. It has been automatically closed for house-keeping purposes.

Navigation Menu

Repository navigation

Generic return type (T[K]) is intersection among all properties of T instead of union #54901

Bug Report

🔎 Search Terms

🕗 Version & Regression Information

⏯ Playground Link

💻 Code

🙁 Actual behavior

🙂 Expected behavior

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Generic return type (T[K]) is intersection among all properties of T instead of union #54901

Description

Bug Report

🔎 Search Terms

🕗 Version & Regression Information

⏯ Playground Link

💻 Code

🙁 Actual behavior

🙂 Expected behavior

Activity

olivermrose commented on Jul 6, 2023

taozhou-glean commented on Jul 7, 2023

fatcerberus commented on Jul 7, 2023

typescript-bot commented on Jul 9, 2023

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions