Microsoft/TypeScript
Vedi su GitHubInfinite type instantiation around recursive conditional types
Open
#60.237 aperta il 15 ott 2024
BugDomain: check: Type CircularityHelp Wanted
Metriche repository
- Star
- (48.455 star)
- Metriche merge PR
- (Merge medio 6g 17h) (9 PR mergiate in 30 g)
Descrizione
🔎 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
💻 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