class A
{
};

class B : public A
{
};

template<class T> class C
{
    public:
    void Do(const T & t)
    {
    }

    template<class Pred> void Do(Pred p)
    {
    }
};



int main()
{
    C<A *> c;

    A a;
    B b;
    c.Do(&a);
    c.Do(&b); // какого вызывается шаблонный метод?

    return 0;
}