Agda-2.3.2.2: test/fail/Issue461.agda

module Issue461 where

data D : Set where
data D : Set where