hls-tactics-plugin-1.8.0.0: new/test/golden/EmptyCaseSpuriousGADT.hs

{-# LANGUAGE GADTs #-}

data Foo a where
  Foo :: Foo Int

foo :: Foo Bool -> ()
foo x = case x of