liquidhaskell-0.7.0.0: tests/elim/rwr0.hs

module Foo where

moo :: Int -> Int
moo n = x + y
  where
    (x, y) = (n, n + 1)