Issue1296.agda:1,1-33
Module cannot be imported since it has open interaction points
(consider adding {-# OPTIONS --allow-unsolved-metas #-} to this
module)
when scope checking the declaration
  open import Issue1296.SolvedMeta
