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

test :: IO ()
test = do
  let x :: Bool -> Int
      x = _
  pure ()