Microsoft/TypeScript
Vedi su GitHubpartial function with generic lost the type constraint
Open
#57.072 aperta il 16 gen 2024
Domain: check: Type InferenceHelp WantedPossible Improvement
Metriche repository
- Star
- (48.455 star)
- Metriche merge PR
- (Merge medio 6g 17h) (9 PR mergiate in 30 g)
Descrizione
🔎 Search Terms
generic partial function with generic lose the type constraint
🕗 Version & Regression Information
- This is a crash
- This changed between versions nightly__ and 4.x___
- This changed in commit or PR _______
- This is the behavior in every version I tried, and I reviewed the FAQ for entries about ___ generic, lose type______
- I was unable to test this on prior versions because the version lower than 4.0 do not support tailargs___
⏯ Playground Link
💻 Code
// minimal reproduce
type Arr = readonly any[]
function partialCall<T extends Arr, U extends Arr, R>(
f: (...args: [...T, ...U]) => R,
...headArgs: T
) {
return (...tailArgs: U) => f(...headArgs, ...tailArgs)
}
const machine={
price: 30,
age:10
}
function numChange<T extends Record<string, number>>( obj:T, key: keyof T, delta: number){
return obj[key]+delta
}
const test = numChange(machine , 'age', 10)
// @ts-expect-error
const test1 = numChange(machine,'a',10 ,)
const machineNumChange= partialCall(numChange, machine)
// should i see a error here ?
const te1= machineNumChange('a',20)
🙁 Actual behavior
I'm using a partial function with passing another generic function , the returned function loses the type restrictions on its parameters.
🙂 Expected behavior
the returned function have the type restrictions on its parameters
Additional information about the issue
No response