Hovering over a field, when destructuring records, should produce the field type

[JosephTLyons]

use ParseData(is_positive, next_index, tokens) <- result.try(parse_data)

I would like to be able to hover over tokens and get its type, but currently, we get the overall ParseData record type on hover:

Hovering on ParseData should produce ParseData(Bool) and hovering on tokens should produce List(Tokens)

[giacomocavalieri]

I can give this a try!

[GearsDatapacks]

I was already looking into this, but you can if you want

[giacomocavalieri]

Oh no please, go ahead!

[GearsDatapacks]

I should start writing comments when I'm looking into an issue

[GearsDatapacks]

Ah, I see what the issue is. use expressions get transformed into function calls at analysis time, so we don't have easy access to the information for this pattern, without some hacks. It's probably best to wait until #3824 is merged, so that this is easier to implement.

[giacomocavalieri]

Ah right, I'll mark it as ready for review!