liquidhaskell-0.7.0.0: tests/pos/multi-pred-app-00.hs

module Blank () where

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