liquidhaskell-0.9.0.2.1: tests/neg/Variance1.hs

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

import Data.Binary


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

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