OverloadedRecordDot ignores DEPRECATED pragma
## Summary
When using record dot syntax no warning is emitted when accessing fields marked as DEPRECATED.
Same stands for OverloadedLabels though that's a bit orthogonal. Pointing just for wider context as I believe both use the same class-based approach, so the root of the problem and possible fixes should be the same.
Is this a known issue (or maybe intended trade-off) and just me being unable to find relevant discussions?
## Steps to reproduce
See https://gitlab.com/ste.vladimir/deprecated-fields-and-record-dot
A short summary:
``` haskell
{-# LANGUAGE DeriveGeneric #-}
module Bar where
import GHC.Generics
data Bar = Bar
{ x :: Int
, y :: Char
} deriving (Generic)
{-# DEPRECATED x "Don't use me" #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE OverloadedLabels #-}
{-# LANGUAGE OverloadedRecordDot #-}
module Foo where
import Bar
import Control.Lens
import Data.Generics.Labels ()
import GHC.Records
barRecord :: Bar
barRecord = Bar
{ x = 1 -- This shows a warning
, y = 'a'
}
barFieldAccessor :: Bar -> Int
barFieldAccessor = x -- This shows a warning
barDot :: Bar -> Int
barDot b = b.x -- This does not
barOverloadedLabel :: Bar -> Int
barOverloadedLabel = view #x -- This does not
barGetField :: Bar -> Int
barGetField = getField @"x" -- This does not
```
## Expected behavior
Roughly the behavior should be identical to ordinary record fields and field accessors: warning is emitted when accessing deprecated field.
## Environment
* GHC version used: 9.2.7
I've just used the latest GHC version in hand. Let me know if you want me to test on the latest version.
issue