должна ли ошибка вывода возвращаемого типа быть ошибкой замены?

Основываясь на моем тесте, ошибка вывода возвращаемого типа кажется ошибкой компиляции, а не ошибкой замены. В следующем примере выдается ошибка на clang3.4 с параметром -std=c++1y.

#include <type_traits>

auto f = [](auto x){return x*2;};

template < typename X, typename=decltype(f(std::declval<X>())) >
std::true_type test_impl(int);

template < typename >
std::false_type test_impl(...);

template < typename T >
using test = decltype(test_impl<T>(0));

struct A{};

int main(int argc, const char * argv[])
{
   static_assert(not test<A>{},"");
   return 0;
}

Ошибка гласит:

main.cpp:3:29: error: invalid operands to binary expression ('A' and 'int')
auto f = [](auto x){return x*2;};

Чтобы получить ошибку замены, мне пришлось изменить f на

auto f = [](auto x) ->decltype(x*2) {return x*2;};

путем повторения оператора return в завершающем decltype.

Но разве смысл автоматического вывода возвращаемого типа (как в лямбда-выражениях, так и в обычных функциях в С++ 14) не заключается в том, чтобы исключить подобное повторение кода?

У кого-нибудь есть лучший способ обойти это?

Спасибо.