Agda-2.3.2.2: test/fail/Issue705.agda

module Issue705 where

module A where
  data A : Set where

open A

open A