{-# OPTIONS_GHC -Wno-missing-methods #-}
{-@ LIQUID "--expect-any-error" @-}
module NoMethodBindingError where

class Foo a where
  foo :: a -> a

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