Semantic token omitting record field in {-# LANGUAGE DuplicateRecordFields #-}

[soulomoon]

recordField name in instance decl sometimes considered as generated OccName by hieAst even if it is written out by user. Like in $sel:plcGlobalOn:PluginConfig. in hls code base:

instance Default PluginConfig where
  def = PluginConfig
      { plcGlobalOn         = True
      , plcCallHierarchyOn  = True
      , plcCodeActionsOn    = True
      , plcCodeLensOn       = True
      , plcDiagnosticsOn    = True
      , plcHoverOn          = True
      , plcSymbolsOn        = True
      , plcCompletionOn     = True
      , plcRenameOn         = True
      , plcSelectionRangeOn = True
      , plcFoldingRangeOn   = True
      , plcSemanticTokensOn = True
      , plcConfig           = mempty
      }

Stop omit generated OccName could fix this.

[soulomoon]

But I do not really understand the cause, could not repro in a single file. and hence could not write out test for it.

---

The cause is the {-# LANGUAGE DuplicateRecordFields #-}, it regenerate the recordfield