Microsoft/TypeScript
Auf GitHub ansehenNon-exported recursive type alias is inlined until it falls back to any in declarations
Open
#58.696 geöffnet am 29. Mai 2024
BugDomain: Declaration EmitHelp Wanted
Repository-Metriken
- Stars
- (48.455 Stars)
- PR-Merge-Metriken
- (Durchschn. Merge 6T 17h) (9 gemergte PRs in 30 T)
Beschreibung
🔎 Search Terms
declarations recursive types
🕗 Version & Regression Information
- This is the behavior in every version I tried (before 4.4 it was either a stack overflow crash or an error on the recursive type)
⏯ Playground Link
💻 Code
// @declaration: true
// @filename: utils.ts
type Recursive<T> = T extends Array<infer V>? Recursive<V>: T;
export const f = <T>(): Recursive<T> => { return null! }
// @filename: index.ts
import { f } from './utils';
export const a = f;
🙁 Actual behavior
In declarations, the type for a is printed as a: () => T extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? V extends (infer V)[] ? any : V : V : V : V : V : V : V : V : V : V : T;
🙂 Expected behavior
Recursive can't be represented without falling back to any (as seen above) so it should just be an error instead of silently to any
Additional information about the issue
Related to #55832