Microsoft/TypeScript
Voir sur GitHubAdding an overload to .filter breaks specific inference with nested functions
Open
#56 013 ouverte le 6 oct. 2023
BugDomain: check: Type InferenceHelp Wanted
Métriques du dépôt
- Stars
- (48 455 stars)
- Métriques de merge PR
- (Merge moyen 6j 17h) (9 PRs mergées en 30 j)
Description
🔎 Search Terms
"filter inference overload", "filter boolean"
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about inferred types
⏯ Playground Link
💻 Code
type NonFalsy<T> = T extends false | 0 | "" | null | undefined | 0n
? never
: T;
// Comment this out
interface Array<T> { filter(predicate: BooleanConstructor, thisArg?: any): NonFalsy<T>[]; }
const id = <T,>() => (t: T) => !!t;
['foo', 'bar'].filter(id())
// ^?
🙁 Actual behavior
Nested function inference works (type parameter is string) without the additional overload, and fails (type parameter is unknown) with the overload (even though the added overload isn't the one in use).
🙂 Expected behavior
Nested function inference should work regardless of whether an overload is added to .filter or not.
Additional information about the issue
Adding the overload is described in https://github.com/microsoft/TypeScript/issues/50387 and made popular by ts-reset.
It's possible the overload order may matter in this instance, but difficult to test when the main overloads are coming from lib definitions.