aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/EmptyCase/empty-case-where.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE EmptyCase #-}

module EmptyCaseWhere where

data Never

consume :: Never -> Int
consume x =
  whereImpossible x
  where
    whereImpossible y = case y of {}