MSVC ICE when partially specializing a class template with a decltype of a void-cast expression?

Question

Summary: is MSVC 2013 right to reject this MCVE following segment of code, even if it does do so in a less than desirable way?

• MSVC 2013, Update 5
• GCC 5.2.0
• Clang 3.7.0

While attempting to create a type trait for checking the validity of brace constructing one type from a single other type

B b;
A{b}; // <-- whether this line would be valid code

which works in MSVC2013 by adapting code from this answer in an attempt to work around MSVC's lack of expression SFINAE support. I have been receiving:

error C1001: An internal error has occurred in the compiler.

with the location

compiler file 'f:\dd\vctools\compiler\cxxfe\sl\p1\c\cast.c', line 725

The MCVE below triggers this ICE, even under /Od:

#include <utility>
#include <type_traits>

template <typename Type, typename Arg, typename = void>
struct isBraceConsructibleImpl
    : public std::false_type{};

template <typename Type, typename Arg>
struct isBraceConsructibleImpl<Type, Arg, decltype((void)Type{ std::declval<Arg>() }) >
    : public std::true_type{};

int main(int, char**){}

As can be seen on coliru, gcc and clang are both fine with this (even under -O2). However, while an ICE is most certainly a bug in MSVC, the acceptance of said code by both gcc and clang is no guarantee that it is valid code in the end.

Removing the Arg from the template and replacing the Arg in the declval with int does not reproduce the error:

#include <utility>
#include <type_traits>

template <typename Type, typename = void>
struct isBraceConsructibleImpl
    : public std::false_type{};

template <typename Type>
struct isBraceConsructibleImpl<Type, decltype((void)Type{ std::declval<int>() }) >
    : public std::true_type{};

int main(int, char**){}

and gcc and clang are once again fine with it.

Is MSVC is producing an ICE from valid code?