Open danmichaelo opened 8 months ago
Hi @danmichaelo, seems to be fixed in version 12.1.10, the following code:
const add = (a: null, b: number): number => a + b
partial(add, null)(5);
produces the given type annotation and works at the typechecking level
const` partial: <[a: null, b: number], [null], number>(fn: (a: null, b: number) => number, args_0: null) => (b: number) => number
partial
returnsany
, which doesn't seem to be in line with the project's focus on strong typing.