Hovers on field names of deeply nested named tuple literals (and types) should show inferred type

[bishabosha]

I think it would be nice to be able to be able to hover on the field names of named tuple literals and have the editor provide a hover of the type of the field at that nested subtree. e.g. here is an equivalent in TypeScript:

type Config = {
  "client": {
    "name": string,
    "address": string,
    "id": number
  },
  "invoice": {
    "id": number,
    "startDate": string,
    "durationDays": number,
  }
}
const conf: Config = {
  "client": {
    "name": "Jamie",
    "address": "123 Main St",
    "id": 23
  },
  "invoice": {
    "id": 1,
    "startDate": "2026-01-01",
    "durationDays": 30,
  }
}

and here is the hover:

on term:

on type:

[odersky]

Maybe raise this on the metals tracker /cc @tgodzik