Agda-2.3.2.2: test/fail/ImportInMutual.err

ImportInMutual.agda:7,10-21
Import statements are not allowed in mutual blocks