liquidhaskell-0.8.10.7: tests/basic/neg/poly00.hs

module Poly00 where 

{-@ zoo :: x:a -> {v:a | v /= x} @-} 
zoo :: goober -> goober 
zoo x = x