hls-tactics-plugin-1.3.0.0: test/golden/EmptyCaseSpuriousGADT.hs
{-# LANGUAGE GADTs #-}
data Foo a where
Foo :: Foo Int
foo :: Foo Bool -> ()
foo x = case x of
{-# LANGUAGE GADTs #-}
data Foo a where
Foo :: Foo Int
foo :: Foo Bool -> ()
foo x = case x of