liquidhaskell-0.9.0.2.1: tests/pos/Grty3.hs

module Grty3 () where

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