hls-tactics-plugin-1.4.0.0: test/golden/IntroDestructLetBinding.expected.hs

test :: IO ()
test = do
  let x :: Bool -> Int
      x False = _w0
      x True = _w1
  pure ()