After upgrading from v4.2 to v4.3, same code reports [2589]

[zhaoyao91]

Bug Report

🔎 Search Terms

v4.3.4 2589

🕗 Version & Regression Information

• This changed between versions v4.2.3 and 4.3.4

⏯ Playground Link

• work, at v4.2.3
• not work,at v4.3.4

💻 Code

type Ensure<X, Y> = X extends Y ? X : never;
type SafeKey<T> = T extends string | number ? `${T}` : never;
type SafeValue<O, K> = K extends keyof O ? O[K] : never;

export type Paths<O, P = ""> = O extends object
  ? {
      [K in keyof O]:
        | (P extends "" ? K : `${SafeKey<P>}.${SafeKey<K>}`)
        | Paths<O[K], P extends "" ? K : `${SafeKey<P>}.${SafeKey<K>}`>;
    }[keyof O]
  : never;

export type Get<O, P extends Paths<O>> = P extends `${infer X}.${infer XS}`
  ? Get<SafeValue<O, X>, Ensure<XS, Paths<SafeValue<O, X>>>>
  : SafeValue<O, P>;

🙁 Actual behavior

line 14 errored: Type instantiation is excessively deep and possibly infinite.(2589)

🙂 Expected behavior

all work

[andrewbranch]

Duplicate of #43877

[typescript-bot]

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