liquidhaskell-0.8.10.7: tests/names/neg/local00.hs

module LocalSig where 

foo = incr 10 
  where 
    {-@ incr :: Nat -> Nat @-}
    incr :: Int -> Int 
    incr x = x - 1