liquidhaskell-0.4.0.0: tests/pos/Foo.hs

module Foo where


bar = 0

{-@ assume (Prelude.++) :: [a] -> [a] -> [a] @-}