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

module Blank () where

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