liquidhaskell-0.8.0.2: tests/todo/err13.hs

{-@ plus :: x:a -> y:a -> {v:a | v = x} @-}
plus :: a -> a -> a
plus = undefined