Function quoRem

sample/quotientRemainder.cpp:13–24

};

constexpr std::array<int32_t, 2> quoRem(int32_t dividend, int32_t divisor)
{
  using namespace matchit;
  Id<int32_t> q;
  Id<int32_t> r;
  return match(dividend)(
      // clang-format off
        pattern | qr(divisor)(q, r) = [&] { return std::array<int32_t, 2>{*q, *r}; },
        pattern | _                 = [&] { return std::array<int32_t, 2>{0, 0}; }
      // clang-format on
  );
}

constexpr auto qrResult1 = quoRem(12, 6);
static_assert(qrResult1[0] == 2);