liquidhaskell-0.9.0.2.1: tests/neg/T1286.hs

{-@ LIQUID "--expect-any-error" @-}
module T1286 where

{-@ fails :: {v:Bool | v} @-}
fails =  'a' == 'b'

{-@ ok :: {v:Bool | v} @-}
ok = "a" == "a"