Most of the time, hovering over a symbol in untyped code would show Dyn even though the symbol has a type annotation - typically for records accessed via a non-trivial path, e.g. foo.bar.baz. This is an issue especially because we don't get to see the right types for stdlib symbols when hovering over them.
This PR fixes the issue by taking the type annotation (technically one of the aggregated type annotations) instead of the type provided by the typechecker when the latter is Dyn.
Most of the time, hovering over a symbol in untyped code would show
Dyneven though the symbol has a type annotation - typically for records accessed via a non-trivial path, e.g.foo.bar.baz. This is an issue especially because we don't get to see the right types for stdlib symbols when hovering over them.This PR fixes the issue by taking the type annotation (technically one of the aggregated type annotations) instead of the type provided by the typechecker when the latter is
Dyn.