idris-0.9.15: test/reg049/reg049.idr

data Foo : Type where
  Bogus : Void

uhOh : Void
uhOh = Bogus