liquidhaskell-0.4.0.0: tests/neg/multi-pred-app-00.hs

module Blank () where

{-@ bar :: forall < p :: Int -> Prop
                  , q :: Int -> Prop >. Int<p> -> Int<p, q> @-}
bar :: Int -> Int
bar x = x