liquidhaskell-0.9.0.2.1: tests/neg/Datacon_eq.hs

{-@ LIQUID "--expect-any-error" @-}
module Datacon_eq (foo) where

-- This is a blank file.

data G = A | B

{-@ foo :: Int -> {v:G | v = A} @-}
foo  :: Int -> G
foo _ = B