msc17 (VIsual Studio 2012 cl.exe) の信じがたいバグ: std::remove_pointer<void (*)()>::type の結果が変化する

msc17bug-class-definition-changes.cpp

#include <cstdio>
#include <type_traits>

struct C {
  C() {}
  template<typename F> explicit C(const F& f, typename std::remove_pointer<F>::type* = nullptr) {}
  template<typename F> void operator=(const F&) {}
};

void f() { return 0; }

template<typename> void check_type() { std::printf("%s\n", __FUNCSIG__); }

int main() {
  check_type<std::remove_pointer<void (*)()>::type>(); // → void __cdecl check_type<void(void)>(void)
  C g;
  g = f;
  check_type<std::remove_pointer<void (*)()>::type>(); // → void __cdecl check_type<void(__cdecl *)(void)>(void)
  return 0;
}