liquidhaskell-0.7.0.0: tests/pos/bool1.hs

module EqBool where 

{-@ baz :: x:Bool -> {v:Bool | v == x} @-}
baz :: Bool -> Bool 
baz x = x