Microsoft/TypeScript
View on GitHubFunction expression or method is not inferable when we have mapped type with a conditional type
Open
#60,047 opened on Sep 24, 2024
Domain: check: Type InferenceHelp WantedPossible Improvement
Repository metrics
- Stars
- (48,455 stars)
- PR merge metrics
- (Avg merge 6d 17h) (9 merged PRs in 30d)
Description
🔎 Search Terms
conditional method arrow function
🕗 Version & Regression Information
- This is the behavior in every version I tried, and I reviewed the FAQ
⏯ Playground Link
💻 Code
type Map<T> = {
readonly [P in keyof T]: T[P] extends boolean ? "boolean": "other"
}
export function buildCommand<F extends Record<string, unknown>>(builderArgs: {
func: (p: F) => void
params: Map<NoInfer<F>>
}) {
}
type Foo = { foo: boolean };
// Function expression does not work
buildCommand({
func: function (p: Foo) { },
params: {
foo: "boolean"
}
})
// Methods don't work
buildCommand({
func(p: Foo) { },
params: {
foo: "boolean"
}
})
// Arrow function works
buildCommand({
func: (p: Foo) => { },
params: {
foo: "boolean"
}
})
🙁 Actual behavior
For the first two calls we get an error while the third one is successful
🙂 Expected behavior
All three calls should be successful
Additional information about the issue
Removing the constraint from F (Playground Link) or changing it to F extends Record<keyof F, unknown> (Playground Link) will remove the error.