liquidhaskell-0.4.0.0: tests/neg/NoMethodBindingError.hs

module Foo where

{-@ LIQUID "--totality" @-}

class Foo a where
  foo :: a -> a

instance Foo Int where
-- no method binding error
--
goo :: Int -> Int
goo = foo