constexpr ошибка, станд :: is_same с множественным наследованием

Question

Compiling с VS2015:

template <typename Owner, typename C, typename R, typename... Args> 
constexpr bool FunctionBelongsTo(R(C::*)(Args...) const) 
{ 
    return std::is_same<C, Owner>::value; 
} 

class C 
{ 
public: 
    int x; 
}; 
class D 
{ 
public: 
    int y; 
}; 
class M : public C, public D 
{ 
public: 
    void f() const {} 
}; 

static_assert(FunctionBelongsTo<M>(&M::f) != true, "TRUE"); 

constexpr функция выдает странную ошибку:

error C2131: expression did not evaluate to a constant 
note: a non-constant (sub-)expression was encountered 

std::is_same Это выражение является безусловно постоянной.

Странная вещь, эта ошибка, кажется, вызывается в этом конкретном случае, когда M многократно унаследовано. Удалите один из базовых классов с M и он просто компилируется (т. Е. Он испускает static_assert, как и ожидалось), но когда M многократно унаследовано, он решает, что выражение не является постоянным.

... что дает? Ошибка новичков?

Answer 1

VS2015 Udpate 2 RC (версия CL 19.00.23824.1), кажется, исправить это. Вы также можете проверить несколько более старую версию на http://webcompiler.cloudapp.net/, поэтому я надеюсь, что она останется фиксированной, когда обновление пройдет RTM.