liquidhaskell-0.9.0.2.1: tests/neg/Maybe.hs

{-@ LIQUID "--expect-any-error" @-}
module Maybe where

import Data.Maybe


foo :: Maybe a -> a
foo x = fromJust x