g ++ и clang ++ различное поведение с шаблоном переменной и SFINAE

Другой вопрос типа «кто прав между g ++ и clang ++?» для C ++ стандартных гуру.

Предположим, что мы хотим применить SFINAE к шаблону переменной, чтобы включить переменную, только если тип шаблона удовлетворяет определенному условию.

Например: включить bar если (и только если) тип шаблона имеет foo() метод с заданной подписью.

Использование SFINAE через дополнительный тип шаблона со значением по умолчанию

template <typename T, typename = decltype(T::foo())>
static constexpr int bar = 1;

работает как для g ++, так и для clang ++, но имеет проблему: может быть взломан путем объяснения второго типа шаблона

Так

int i = bar<int>;

выдает ошибку компиляции где

int i = bar<int, void>;

скомпилировать без проблем.

Итак, из глубины моего незнания о SFINAE я попытался включить / отключить тип той же переменной:

template <typename T>
static constexpr decltype(T::foo(), int{}) bar = 2;

Сюрприз: это работает (компилируется) для g ++, но clang ++ не принимает его и выдает следующую ошибку

tmp_003-14,gcc,clang.cpp:8:30: error: no member named 'foo' in 'without_foo'
static constexpr decltype(T::foo(), int{}) bar = 2;
~~~^

Вопрос, как обычно, таков: кто прав? g ++ или clang ++?

Другими словами: в соответствии со стандартом C ++ 14 SFINAE может использоваться поверх типа шаблона переменной?

Ниже приведен полный пример игры с

#include <type_traits>

// works with both g++ and clang++
//template <typename T, typename = decltype(T::foo())>
//static constexpr int bar = 1;

// works with g++ but clang++ gives a compilation error
template <typename T>
static constexpr decltype(T::foo(), int{}) bar = 2;

struct with_foo
{ static constexpr int foo () { return 0; } };

struct without_foo
{ };

template <typename T>
constexpr auto exist_bar_helper (int) -> decltype(bar<T>, std::true_type{});

template <typename T>
constexpr std::false_type exist_bar_helper (...);

template <typename T>
constexpr auto exist_bar ()
{ return decltype(exist_bar_helper<T>(0)){}; }

int main ()
{
static_assert( true == exist_bar<with_foo>(), "!" );
static_assert( false == exist_bar<without_foo>(), "!" );
}