Шаблон кандидата игнорируется, поскольку аргумент шаблона не может быть выведен

Что не так со следующим фрагментом кода?

#include 

template
struct A {
    struct X { K p; };
    struct Y { K q; };
};

template
void foo(const typename A::X& x, const typename A::Y& y) {
    std::cout < "A" < std::endl;
}

int main() {
    A

Ответы на вопрос(2)

Ваш ответ на вопрос