`Omit` causes function to lose contextual typing

[dragomirtitian]

🔎 Search Terms

implicit any contextual type

🕗 Version & Regression Information

• This changed between versions 5.9.3 and 6.0 - rc

⏯ Playground Link

Playground Link

💻 Code

declare let x: { function: string }
export type AssertableState<T> = {
 [P in keyof T as P]: (value: T[P]) => void;
}
declare function assert_state<T extends object>(o: T, state: AssertableState<T>): void;
assert_state(x, {
 function: v => { } // v is string
})


declare function assert_state_bad<T extends object>(o: T, state: Omit<AssertableState<T>, "">): void;
assert_state_bad(x, {
 function: v => { } // error - v is implictly any
})

🙁 Actual behavior

The call to assert_state_bad fails because v is implicitly typed as any

🙂 Expected behavior

Either should pass as in 5.9.3

Additional information about the issue

• Works without the Omit
• Works without the as P in the mapped type. (original mapping was more complicated, but identity mapping seems to trigger it too)

[Andarist]

Bisects to #60528 . I'll investigate it

[Andarist]

A version of this #57838 would address the problem here, mainly due to revamping of the apparent mapped type keys. I'd spent more time on this to move that through a finish line but right now I'll have to wait for 7.1 dev line to open up