xref: /dports/devel/hs-hls-install/haskell-language-server-1.4.0/plugins/hls-tactics-plugin/test/golden/IntroDestructMany.hs

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