liquidhaskell-0.9.0.2.1: tests/pos/Datacon_inv.hs

module Datacon_inv where

data T =  A | B

{-@ invariant {v:T | (v = A || v = B)} @-}

thisIsA = A
thisIsB = B