liquidhaskell-0.6.0.0: tests/neg/Variance1.hs

import Data.Binary


{-@
error :: { x : String | false } -> a
@-}

example :: Get ()
example = do
    _ <- return ()
    error "URK"