liquidhaskell-0.8.10.1: tests/neg/Variance1.hs

module Variance1 where

import Data.Binary


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

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