idris-0.12.3: test/regression002/reg049.idr

data Foo : Type where
  Bogus : Void

uhOh : Void
uhOh = Bogus