liquidhaskell-0.4.0.0: tests/pos/grty3.hs

module Test () where

{-@ bar :: (a, {v:[b]|((len v) = 1)}) -> b @-}
bar (_, [x]) = x