Agda-2.3.2.2: test/fail/Issue477.agda

module Issue477 where

data D where
  c : D