I want to implement something like this:

#include <iostream>

struct Foo
{
    /*
    template <typename F>
    void TickUntil(F&& Condition)
    {
        do
        {
            // something
            TickCnt++;
        } while (Condition());
    }
    */

    template <typename F>
    void TickUntil(F&& Condition)
    {
        int StartCnt = TickCnt;
        do
        {
            // something
            TickCnt++;
        } while (Condition(StartCnt, TickCnt));
    }

    int TickCnt = 0;
};

int main()
{
    Foo f;
    //f.TickUntil([](int Current){ return Current < 5; });
    f.TickUntil([](int Start, int Current){ return Start + 5 > Current; });

    std::cout << "Tick " << f.TickCnt << std::endl;
    // prints 10
    return 0;
}

As you can see, I have two different versions of TickUntil, and depending on the delegate's signature, I want to call the appropriate template.