path: root/testsuite/tests/pmcheck/should_compile/T17376.hs

module Lib where

import Data.Void

f :: Void -> ()
f x = case x of _ -> ()