Agda-2.3.2.2: test/fail/ClashingDefinition.agda

-- You can't use the same name more than once in the same scope.
module ClashingDefinition where

postulate
  X : Set
  X : Set

Y = X