gcc компилирует этот код и все работает.

#include <iostream>
#include <string>

struct C
{
    std::string b;    
};

template <typename Type, Type> struct Helper;
template <typename T, typename Type> char Finder(Helper<Type, &T::b>*);

int main()
{
    std::cout << sizeof(Finder<C, std::string C::*>(0)) << std::endl;
}

Как такое починить на MSVC? Что интересно, если std::string в обоих местах поменять на, скажем int, то все работает и в MSVC.