liquidhaskell-0.9.0.2.1: tests/neg/Lit.hs

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

{-@ test :: {v:Int | v == 30} @-}
test = length "cat"