Wrong type hint for a module value containing a lambda

[kerams]

Repro steps

let func = fun () -> 3

Expected behavior

Type hint containing : (unit -> int) (with or without the parentheses).

Actual behavior

Related information

• VS integration built from the current main branch

The issue originates in this function

retTy is the int type, while the solution of tau is unit -> int, which is what we're looking for in the hint. I don't want to touch this, because I have no idea what ramifications it could have across the compiler.

[psfinaki]

Unassigning myself for now in case someone else wants to fix this - can be a good exercise for contributors.