path: root/testsuite/tests/linear/should_fail/T19120.hs

{-# LANGUAGE LinearTypes #-}
module T19120 where

notL :: Bool %1 -> Bool
notL True = False
notL False = True

z :: Bool %1 -> Bool
z x | notL x = True
z x | otherwise = notL x