idris-0.9.19: test/reg066/reg066.idr

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

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