GADT accepted without -XGADTs

HEAD accepts this program:

module Bug where

data G a where
  MkG :: G Int

Note: no extensions! GHC2021 implies GADTSyntax, but this should require GADTs. That's important because GADTs implies MonoLocalBinds.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information