Agda-2.3.2.2: test/fail/ImportInMutual.agda

-- Currently imports are not allowed in mutual blocks.
-- This might change.
module ImportInMutual where

mutual
  import Fake.Module
  T : Set -> Set
  T A = A