Infinite type instantiation around recursive conditional types

🔎 Search Terms

infinite type instantiation excessively deep recursive conditional

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about infinite and recursive types.

⏯ Playground Link

https://www.typescriptlang.org/play/?ts=5.6.3#code/C4TwDgpgBAggPARQDRQMoD4oF4oKhAD2AgDsATAZygG8oBDALnpJCgF8oB+WRAbQCI6-ALooMUJiQgA3CACcA3ACglASxLE5AMzoBjaACE4AFUzUlUKFsToAFAEcmCAJRN4yKKeVsVoSFABhbCgjajZMQmJyKiN1LXkoAA1MbkSJKClZRV9waDScIMjSSmZWbmA5AFdoJh0AGwoIZSA

💻 Code

type A<Q, S> = Q extends { a: any } ? A<Q["a"], S> : never;

interface B<T> {
  f<Q>(q: Q): A<Q, T>;
}

type C = B<{}> extends B<infer X> ? X : never;

type X = C extends any ? true : false;
//       ~ Type instantiation is excessively deep and possibly infinite.(2589) 

🙁 Actual behavior

The last line errors out.

🙂 Expected behavior

The code should pass the type check.

Additional information about the issue

An alternative way to get the same error: https://www.typescriptlang.org/play/?ts=5.6.3#code/C4TwDgpgBAggPARQDRQMoD4oF4oKhAD2AgDsATAZygG8oBDALnpJCgF8oB+WRAbQCI6-ALooMUJiQgA3CACcA3ACglASxLE5AMzoBjaACE4AFUzUlUKFsToAFAEcmCAJRN4yKKeVsVZCLoAbOjloLQBXEl1gVQB7EigAWzoAawgjU1tgJmNXKHT0ZSU-QODQiKjY+OsMrM9c6RjVMkLrI2o2dDsk1INbEjCAgPoqOhZhmjZnZ2UgA

Commencez par le reproducteur TypeScript Playground lié et confirmez l’erreur d’instanciation excessive sur le conditional type final. Aucun fichier du dépôt ni aucun test n’est identifié dans l’issue ; le travail est considéré comme terminé lorsque le code fourni est vérifié par le système de types sans erreur, tandis que le comportement des conditional types récursifs reste couvert par un test de régression.