liquidhaskell-0.9.0.2.1: tests/pos/Bool1.hs

module Bool1 where

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