idris-0.9.14.1: test/reg049/reg049.idr

data Foo : Type where
  Bogus : _|_

uhOh : _|_
uhOh = Bogus