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

x :: Bool -> Maybe Int -> String -> Int
x = _