hls-tactics-plugin-1.8.0.0: old/test/golden/DestructAllFunc.hs

has_a_func :: Bool -> (a -> b) -> Bool
has_a_func x y = _