liquidhaskell-0.7.0.0: tests/todo/err7.hs

-- | Error Message Test: liquid type error

module Err0 where

{-@ tonk :: {v:Int | (Prop v) = v } @-}
tonk     = (12 :: Int)