liquidhaskell-0.9.0.2.1: tests/pos/Multi_pred_app_00.hs

module Multi_pred_app_00 () where

{-@ foo :: forall < p :: Int -> Bool
                  , q :: Int -> Bool >. Int<p,q> -> Int<p> @-}
foo :: Int -> Int
foo x = x