Agda-2.3.2.2: test/interaction/Issue208.agda

module Issue208 where

record R : Set where
  foo : Set
  foo = {!!}