liquidhaskell-0.4.0.0: tests/pos/PairMeasure0.hs

module Foo () where

{-@ foo :: p:(a, b) -> {v:a | (v = (fst p))} @-}
foo (x, y) = x