liquidhaskell-0.8.10.1: tests/errors/T1498A.hs

module T1498A where

class A a where
  f :: a -> Int
  
instance A Int where
{-@ instance A Int where
      f :: _ -> {x : Int | 0 < x}
  @-}
  f n = (-1)