idris-0.12: test/regression001/reg066.idr

foo : Reflection.Raw -> Bool
foo `(~_ -> ~_) = True
foo _ = False

foo' : TT -> Bool
foo' `(~_ -> ~_) = True
foo' _ = False