Agda-2.3.2.2: test/fail/Issue217.agda

module Issue217 where

record A : Set where
  ⊥ : Set
  ⊥ = ⊥