Microsoft/TypeScript
Vedi su GitHubReverse mapped type inference fails to infer from annotated parameters in partially-inferrable object types
Open
#57.788 aperta il 15 mar 2024
Domain: Mapped TypesHelp WantedPossible Improvement
Metriche repository
- Star
- (48.455 star)
- Metriche merge PR
- (Merge medio 6g 17h) (9 PR mergiate in 30 g)
Descrizione
🔎 Search Terms
reverse mapped inference annotated parameters partially inferrable noninferrable object context sensitive
🕗 Version & Regression Information
- This is the behavior in every version I tried
⏯ Playground Link
💻 Code
declare function setup<TGuards>(_: {
guards: {
[K in keyof TGuards]: (ctx: unknown, params: TGuards[K]) => boolean;
};
}): TGuards;
const guards = setup({
guards: {
a: () => true,
b: (_, params) => true,
c: (_, params: number) => true,
},
});
guards
// ^? const guards: { a: unknown; b: unknown; c: unknown; }
🙁 Actual behavior
It infers { a: unknown; b: unknown; c: unknown; }
🙂 Expected behavior
I'd expect { a: unknown; b: unknown; c: number; } to get inferred here
Additional information about the issue
No response