Атрибут компилятора застрял в типе функции - есть ли обходной путь для этой ошибки clang-cl?

Question

При использовании конфигурации C++ LLVM-vs2014 в Visual Studio 2015 это статическое утверждение не выполняется. Утверждение не терпит неудачу в clang ++, gcc или даже Visual C++. thiscall Атрибут привязан к типу функции, хотя он больше не применим. Я подал отчет об ошибке, но я хотел бы знать, есть ли способ принудительного удаления атрибута за это время. Можно thiscall удалить?

#include <type_traits>

template<typename T>
struct remove_member_pointer;

template<typename T, typename U>
struct remove_member_pointer<T U::*> {
    using type = T;
};

struct foo;

using input = void(foo::*)();
using expect = void();
using result = typename remove_member_pointer<input>::type;

//This static_assert fails because there is a
//compiler-generated attribute left behind, making
//the type of result actually `void () __attribute__((thiscall))`
static_assert(std::is_same<result, expect>{}, "");

int main() { return{}; }

Microsoft Visual Studio Community 2015 версия 14.0.24720.00 обновление 1

Answer 1

Я не нашел обходного пути для VS 2015 Update 1, но эта проблема, похоже, исправлена ​​в VS 2015 Update 2.