liquidhaskell-0.8.10.1: tests/errors/EmptySig.hs

module Blank where

{-@  :: foo -> x:Int -> {v:Int | v > x} @-}
foo :: Int -> Int 
foo x = x - 1