liquidhaskell-0.8.6.0: tests/pos/Foo.hs

module Foo where

bar = 0

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