Agda-2.3.2.2: test/fail/DuplicateConstructors.agda

module DuplicateConstructors where

data D : Set where
  c : D
  c : D

f : D -> D
f c = c