Misleading error message when lambda literals violate equality constraints

**Repro steps**

```fsharp
type Foo<'T when 'T : equality> = Foo of 'T

// error FS0002: This function takes too many arguments, or is used in a context where a function is not expected
Foo (fun x -> x + 1)

// error FS0001: The type '(int -> int)' does not support the 'equality' constraint because it is a function type
let f x = x + 1 in Foo f
```

**Expected behavior**

The first expression should produce the same error message as the second expression.