liquidhaskell-0.8.6.0: tests/pos/T1288.hs

{-@ measure foo @-}
foo :: () -> Int
foo _ = 10

{-@ blub :: {v:Int | v = 10} @-}
blub = foo ()