Record pattern synonym incorrectly claims it's recursive, given unbound variable

I only have access to an older version (GHC 8.0.1), this may have been fixed.

If I define

{-# language PatternSynonyms #-}

pattern R{aaa} = uuu

it complains about a recursive pattern synonym

$ ghci-8.0.1 -ignore-dot-ghci /tmp/tmp.hs
GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
[1 of 1] Compiling Main             ( /tmp/tmp.hs, interpreted )

/tmp/tmp.hs:1:1: error:
    Recursive pattern synonym definition with following bindings:
      R (defined at /tmp/tmp.hs:3:1-22)
Failed, modules loaded: none.
Prelude>

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture