liquidhaskell-0.5.0.0: tests/pos/StringLit.hs

module StringLit where

{-@ foo :: {v:String | len v = 3} @-}
foo = "foo"