liquidhaskell-0.9.0.2.1: tests/neg/Pargs.hs

{-@ LIQUID "--expect-any-error" @-}
module Pargs () where

{-@ foo :: forall a <p :: x0:Int -> x1:a -> Bool>. 
             (i:Int -> a<p i>) -> {v:Int| v=0}
              -> a <p 1>
  @-}

foo ::  (Int -> a) -> Int ->  a
foo f i = f i