type U<'abc> =
| C of ab
type R<'abc> = {
F: ab
}
Intellisense completions on ab in U contain 'abc (as of #12933), but the generic type is missing on ab in R. This is because the name resolution environment returned by GetBestEnvForPos in the latter case does not contain the generic type, i.e. nenv.eTypars is empty.