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

{-# LANGUAGE LinearTypes #-}

module LinearAsPat where

shouldFail :: Bool %1 -> Bool
shouldFail x@True = x