#include <fit/protect.hpp>
#include <fit/lazy.hpp>
#include <fit/placeholders.hpp>
#include <memory>
#include "test.hpp"

#include <fit/function.hpp>

int f(int x)
{
    return x;
}

int& g(int& x)
{
    return x;
}

template<class T>
const T& constify(const T& arg)
{
    return arg;
}

FIT_TEST_CASE()
{
    int i[9] = {0,1,2,3,4,5,6,7,8};

    // non-const

    // test nullary
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(1))() == 1);

    // test lvalues

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0]) == &i[0]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1]) == &i[1]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2]) == &i[2]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3]) == &i[3]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4]) == &i[3]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4]) == &i[4]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[3]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[4]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[5]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[3]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[4]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[5]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[6]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[3]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[4]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[5]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[6]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_8))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[7]);

    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_1))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[0]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_2))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[1]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_3))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[2]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_4))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[3]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_5))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[4]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_6))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[5]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_7))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[6]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_8))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[7]);
    FIT_TEST_CHECK(&fit::protect(fit::lazy(g)(std::placeholders::_9))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[8]);

    // test rvalues

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0) == 0);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1) == 1);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2) == 2);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3) == 3);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4) == 3);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4) == 4);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5) == 3);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5) == 4);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5) == 5);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6) == 3);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6) == 4);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6) == 5);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6) == 6);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6, 7) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6, 7) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6, 7) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6, 7) == 3);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6, 7) == 4);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6, 7) == 5);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6, 7) == 6);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_8))(0, 1, 2, 3, 4, 5, 6, 7) == 7);

    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_3))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 2);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_4))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 3);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_5))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 4);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_6))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 5);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_7))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 6);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_8))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 7);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_9))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 8);

    // test mixed perfect forwarding
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(i[0], 1) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(i[0], 1) == 1);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_1))(0, i[1]) == 0);
    FIT_TEST_CHECK(fit::protect(fit::lazy(f)(std::placeholders::_2))(0, i[1]) == 1);

    // const

    // test nullary
    FIT_TEST_CHECK(constify(constify(fit::protect(fit::lazy(f)(1))))() == 1);

    // test lvalues
    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0]) == &i[0]);

    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0], i[1]) == &i[0]);
    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_2))))(i[0], i[1]) == &i[1]);

    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_1))))(i[0], i[1], i[2]) == &i[0]);
    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_2))))(i[0], i[1], i[2]) == &i[1]);
    FIT_TEST_CHECK(&constify(constify(fit::protect(fit::lazy(g)(std::placeholders::_3))))(i[0], i[1], i[2]) == &i[2]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3]) == &i[3]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4]) == &i[3]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4]) == &i[4]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[3]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[4]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5]) == &i[5]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[3]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[4]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[5]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6]) == &i[6]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[3]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[4]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[5]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[6]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_8)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7]) == &i[7]);

    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_1)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[0]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_2)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[1]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_3)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[2]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_4)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[3]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_5)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[4]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_6)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[5]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_7)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[6]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_8)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[7]);
    FIT_TEST_CHECK(&constify(fit::protect(fit::lazy(g)(std::placeholders::_9)))(i[0], i[1], i[2], i[3], i[4], i[5], i[6], i[7], i[8]) == &i[8]);

    // test rvalues

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0) == 0);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1) == 1);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2) == 2);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3) == 3);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4) == 3);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4) == 4);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5) == 3);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5) == 4);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5) == 5);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6) == 3);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6) == 4);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6) == 5);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6) == 6);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6, 7) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6, 7) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6, 7) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6, 7) == 3);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6, 7) == 4);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6, 7) == 5);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6, 7) == 6);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_8)))(0, 1, 2, 3, 4, 5, 6, 7) == 7);

    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_3)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 2);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_4)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 3);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_5)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 4);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_6)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 5);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_7)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 6);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_8)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 7);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_9)))(0, 1, 2, 3, 4, 5, 6, 7, 8) == 8);

    // test mixed perfect forwarding
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(i[0], 1) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(i[0], 1) == 1);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_1)))(0, i[1]) == 0);
    FIT_TEST_CHECK(constify(fit::protect(fit::lazy(f)(std::placeholders::_2)))(0, i[1]) == 1);
}

FIT_TEST_CASE()
{
    FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), fit::_1)(17) == 17);
    FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), 17)() == 17);
    FIT_STATIC_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), fit::_1)(17) == 17);
    FIT_STATIC_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(fit::identity)(fit::_1)), 17)() == 17);
}

namespace test1 {

int id(int x)
{
    return x;
}

FIT_TEST_CASE()
{
    FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(id)(std::placeholders::_1)), std::placeholders::_1)(17) == 17);
    FIT_TEST_CHECK(fit::lazy(fit::apply)(fit::protect(fit::lazy(id)(std::placeholders::_1)), 17)() == 17);
}

}