Agda-2.3.2.2: test/fail/ClashingModule.agda

-- You can't define the same module twice.
module ClashingModule where

module A where
module A where

open A