liquidhaskell-0.5.0.0: tests/neg/lit.hs

module Lit where

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