liquidhaskell-0.8.10.7: tests/pos/maybe5.hs

module Foo where

import Data.Maybe


{-@ foo :: {x:_ | isJust x} -> a @-}
foo :: Maybe a -> a
foo x = fromJust x