Lint function arrow intended context function (scala#23847)

Fixes scala#21187 

If a function literal `x => body` has an expected type `X ?=> ?` then
maybe they intended to write `x ?=> body`.

As shown in the test, maybe types will misalign in other ways to emit
warnings.
[Cherry-picked e0ff329][modified]

Author: tgodzik