liquidhaskell-0.8.0.2: tests/todo/err6.hs

-- | Error Message Test: liquid type error

module Err0 where

{-@ zonk :: {v:Int | v = z} @-}
zonk     = (12 :: Int)