Agda-2.3.2.2: test/fail/Imports/B.agda

module Imports.A where

postulate A : Set