🔎 Search Terms

string completions type alias

🕗 Version & Regression Information

• This is the behavior in every version I tried

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.6.0-dev.20240710#code/C4TwDgpgBA4hwGED2A7AxgJ3hAQiA0hCADwAqANFKYSFBAB7AQoAmAzlANZFIBmVlUgDUAhgBsArtAZNWHUgG1qRALoA+KAF4qUAGQAoKFABKENEgwsyNQaMkQ1Abn37QkKADERASzEdtcIiomNh4NMQA3lBuEABcUABEvEhICVAAvlAAPlBRMfEJAEYiGGnplAkJTq7g0ADqFpz+sPDI6FhMYUSR0bUFyakZ2bm9kAXFpRkVCRUDVc76DGAWwLnpzkA

💻 Code

type GetConcreteByKey<T, TKey extends keyof T, TValue extends T[TKey]> = T &
  Record<TKey, TValue>;

type Fails = GetConcreteByKey<{ type: "foo" } | { type: "bar" }, "">;
type Works = GetConcreteByKey<{ type: "foo" } | { type: "bar" }, "", "foo">;

export {};

🙁 Actual behavior

Completions are not provided for the second type argument in Fails

🙂 Expected behavior

I'd expect this to work the same way as it works in Works

Additional information about the issue

No response