Agda-2.3.2.2: test/fail/ClashingModuleImport.agda

module ClashingModuleImport where

X = TODO--I-haven't-fully-understood-this-one