Go to definition for OverloadedRecordDot

First of all thanks everyone for all the good work, it's of tremendous help.

The project on which I encountered this issue is [stack](https://github.com/commercialhaskell/stack).

## Your environment

**Which OS do you use?**
MacOS
**Which version of GHC do you use and how did you install it?**
Tool versions found on the $PATH
cabal: 3.8.1.0
stack: 2.13.1
ghc: 9.6.3
**How is your project built (alternative: link to the project)?**
stack

**Which LSP client (editor/plugin) do you use?**
vscode
**Which version of HLS do you use and how did you install it?**
2.5.0.0, through ghcup
**Have you configured HLS in any way (especially: a `hie.yaml` file)?**
nope
## What's wrong?

When using the overloaded record dot syntax for records, I have the correct type information but I can't click on the field to be redirected to the record it concerns. I'm not sure it's possible for hls to do that, but I'd be interested to implement it if it is.

I suppose it all amounts to being able to redirect to the correct record when the HasField instance is unified to a known symbol & record type.