Agda-2.3.2.2: test/fail/ClashingModuleImport.err
ClashingModuleImport.agda:3,5-46 Not in scope: TODO--I-haven't-fully-understood-this-one at ClashingModuleImport.agda:3,5-46 when scope checking TODO--I-haven't-fully-understood-this-one
ClashingModuleImport.agda:3,5-46 Not in scope: TODO--I-haven't-fully-understood-this-one at ClashingModuleImport.agda:3,5-46 when scope checking TODO--I-haven't-fully-understood-this-one