Tooltip in IDE suggests wrong type of parameter or even multiple types
- Dominant language
- F#
- Stars
- 4.3k
- Forks
- 876
- Avg merge
- 4d 11h
- Merged PRs (30d)
- 131
Description
**Repro steps**
```fsharp
type U1 = { Name: string }
type U2 = { Age: int; Name: string }
let test =
seq string> {
fun u -> u.Name
}
|> Seq.map (fun (f: U1 -> string) -> [| f |])
```
1. Hover over `u` parameter. Tooltip says that it's type is `U2` but it is `U1` actually.

2. Also, for `.Name`-part tooltip shows both types U1 and U2. I would expect to see only one type.

As far as I can see code compiles and runs correctly without runtime errors, IL doesn't mention `U2` type besides declaration.
I suspect these problems are related but tell me if I should create separate issue for each one :)
**Related information**
* .NET SDK 8.0.204
* VS 17.9.6 and also Rider 2024.1, probably not specific to IDE.
Contributor guide
Assessment
This issue has not been assessed yet.