liquidhaskell-0.9.0.2.1: tests/pos/Tyvar.hs

module Tyvar () where

{-@ foo :: Eq b => a -> b -> a @-}
foo :: Eq b => a -> b -> a
foo = undefined