Go-to-def fails on unreachable branches #1254
Description
Describe the Bug
If we incorrectly infer the type of something, our control flow modeling will incorrectly treat branches as unreachable, and go-to-def does not work inside those branches.
The root cause of the unreachability in the sandbox example is #1159, but I think we would want go-to-def to work even if the branch is not reachable.
Sandbox Link
(Only applicable for extension issues) IDE Information
No response