Agda-2.3.2.2: test/fail/PublicWithoutOpen.agda

module PublicWithoutOpen where

module A where

module B = A public