The LSP doesn't properly the type of function parameters inside typed code

[yannham]

Describe the bug
When exploring the body of a function inside a statically typed code, hovering on the occurrence of a parameter of the function shows Dyn, instead of the actual type. Note that hovering on the parameter definition (that is, right after the fun) does show the right type.

To Reproduce

Write the following file:

(fun x => x + 1) : _

And hover on the second occurrence of x, just after the =>, which should show Dyn.

Expected behavior
The previous example should show Number, which is the correctly inferred type for x.