Agda-2.3.2.2: test/fail/Issue477b.agda

module Issue477b where

record D where
  field A : Set