Agda-2.3.2.2: test/fail/PublicWithoutOpen2.agda

module PublicWithoutOpen2 where

import Imports.A public