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

foo :: Bool -> ()
foo x =
  if True
    then
      case x of
        True  -> _
        False -> ()
    else
      _