Ошибка компилятора C2770

Недопустимый явный template_or_generic аргументов для "template"

Замечания

Кандидаты шаблонов функций с явным шаблоном или универсальными аргументами привели к запрету типов функций.

Пример

В следующем примере создается C2770:

// C2770.cpp
#include <stdio.h>
template <class T>
int f(typename T::B*);   // expects type with member B

struct Err {};

int main() {
   f<int>(0);   // C2770 int has no B
   // try the following line instead
   f<OK>(0);
}