Неверное разрешение перегрузки для функций с двумя аргументами

Давайте возьмем следующий пример программы:

#include <cmath>

namespace half_float
{
template<typename T> struct half_expr {};

struct half : half_expr<half>
{
operator float() const;
};

template<typename T> half sin(const half_expr<T>&);
template<typename T> half atan2(const half_expr<T>&, const half_expr<T>&);
}

using namespace std;
using half_float::half;

int main()
{
half a, b;
half s = sin(a);
half t = atan2(a, b);
}

В VS 2010 это прекрасно компилируется (пока игнорируем очевидные ошибки компоновщика). Но в VS 2012 это дает мне:

ошибка C2440: «преобразование»: невозможно преобразовать из «плавающего» в
‘Half_float :: половина’

Так что, похоже, разрешение перегрузки не выбирает версию из пространства имен half_float (что ADL должен выполнить), но один из std используя неявное преобразование в float, Но странно то, что это происходит только для atan2 звоните, а не sin вызов.

В более крупном проекте, где эта ошибка фактически впервые возникла у меня, она также возникает для других функций с двумя аргументами (или, скорее, с half аргументы), как fmod, но не для любой функции с 1 аргументом. Аналогично в более крупном проекте он также отлично работает для gcc 4.6 / 4.7 а также лязг 3.1 без ошибок, хотя я не тестировал эту версию SSCCE явно там.

Так что мой вопрос, это ошибочное поведение на VS 2012сторона (учитывая, что это происходит только для 2012 и только для функции с двумя аргументами), или я наблюдал за некоторыми тонкостями в правилах разрешения перегрузки (которые могут быть немного хитрыми, я думаю)?

РЕДАКТИРОВАТЬ: Также бывает, если я напрямую using namespace half_float или поместите все это в глобальное пространство имен напрямую. Точно так же это происходит, если я не using namespace std, но это скорее VS-реализация, помещающая математические функции в глобальное пространство имен.

РЕДАКТИРОВАТЬ: Бывает как с оригиналом ВК 2012 компилятор, а также Ноябрь 2012 ОСАГО этого

РЕДАКТИРОВАТЬ: Хотя я не совсем уверен, что это действительно нарушение стандарта в самом строгом смысле, я подал ошибка поскольку он основан на выводах из моего ответа, поскольку он по меньшей мере не соответствует определению функций с 1 аргументом и заслуживает дальнейшего изучения В.С.-Команда.