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

foo :: a -> (b, a)
foo a = [wingman| split; try (assumption) |]