Compiler now performs contextual signature instantiation during type inference for both nested and top level expressions, as specified in 4.12.2 in the spec:

• If e is an expression of a function type that contains exactly one generic call signature and no other members, and T is a function type with exactly one non-generic call signature and no other members, then any inferences made for type parameters referenced by the parameters of T’s call signature are fixed, and e’s type is changed to a function type with e’s call signature instantiated in the context of T’s call signature (section 3.8.5).

This was only done for top level expressions before this fix.

👍