liquidhaskell-0.7.0.0: tests/pos/ReflectClient2.hs

module ReflectClient2 where

import ReflectLib2

{-@ proof :: a -> { v: Int | incr 5 == 6 } @-}
proof _ = incr 5