path: root/testsuite/tests/linear/should_compile/LinearEmptyCase.hs

{-# LANGUAGE EmptyCase, LinearTypes #-}

module LinearEmptyCase where

data Void

f :: a #-> Void -> b
f x y = case y of {}