liquidhaskell-0.8.10.7: tests/spec/pos/BS1.hs
import Data.ByteString.Lazy as LB
foo z = LB.pack z
{-@ bar :: _ -> {v:_ | v >= 0} @-}
bar z = LB.length z
import Data.ByteString.Lazy as LB
foo z = LB.pack z
{-@ bar :: _ -> {v:_ | v >= 0} @-}
bar z = LB.length z