Agda-2.3.2.2: test/fail/ModuleInMutual.err

ModuleInMutual.agda:7,3-9,12
Modules are not allowed in mutual blocks