Intellisense for record fields not directly visible but can be inferref from parameter
- Dominant language
- F#
- Stars
- 4.3k
- Forks
- 876
- Avg merge
- 4d 11h
- Merged PRs (30d)
- 131
Description
**Is your feature request related to a problem? Please describe.**
F# can infer record types from functions in other modules.
```fs
module M1 =
type R1 = { C1:int }
let f (_:R1) = ()
module M2 =
type R2 = { C2:int }
let _ = M1.f { C1 = 1 } // OK
let _ = { C1 = 1 } // FS0039 The record label 'C1' is not defined.
```
However, Intellisense does not list `C1` as a completable record field, and it only lists the invalid ones.

**Describe the solution you'd like**

**Describe alternatives you've considered**
Doing nothing and continue having a less usable experience.
**Additional context**
No.
Contributor guide
Assessment
This issue has not been assessed yet.