liquidhaskell-0.8.2.3: tests/pos/MaskError.hs

module MaskError where 

{-@ assume Prelude.error :: String -> a @-}

foo :: Int -> Int 
foo _ = error "oh no"