liquidhaskell-0.8.10.7: tests/terminate/neg/total01.hs

-- test noMethodBinding
module Total1 where

class Foo a where
  bar :: a -> a
  baz :: a -> a

instance Foo Int where
  bar x = x