Сбой шаблона вычитается при использовании оператора преобразования, но работает явное приведение

Question

Я пытаюсь реализовать векторы Swizzle в C++ с помощью шаблонов программирования. С векторами Swizzle я имею в виду векторы, подобные векторам hlsl и glsl, где, например, если у вас есть вектор v = (1,2,3,4) и делать v.xxyz это производит вектор (1,1,2,3).

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

#include <iostream>
template <typename T>
class vec2
{
public:
    template<unsigned a, unsigned b>
    class swizzle
    {
    public:
        T v[2];
    public:
        operator vec2() { return { v[a], v[b] }; }
    };

public:
    union
    {
        struct
        {
            T x, y;
        };
        swizzle<0, 0> xx;
        swizzle<0, 1> xy;
        swizzle<1, 0> yx;
        swizzle<1, 1> yy;
        T v[2];
    };
};

template<typename T>
void Foo(const vec2<T>& bar)
{
    std::cout << bar.x << ", " << bar.y << "\n";
}

void Bar(const vec2<float> bar)
{
    std::cout << bar.x << ", " << bar.y << "\n";
}

int main()
{
    vec2<float> v = { 1,2 };
    Foo(v.xx); //Does not compile. Template argument deduction fails.

    Foo((vec2<float>)v.xx); //Compiles. Prints "1, 1"

    Foo(v); //Compiles . Prints "1, 2"

    Bar(v.xx); //Compiles without having to explicitly cast it. Prints "1, 1"
    std::cin.get();
    return 0;
}

В приведенном выше примере вызов Foo с аргументом типа swizzle не компилируется, если я не приведу swizzle к vec2<float> даже если swizzle имеет оператор преобразования. Неявное преобразование не работает при работе с шаблонами? Моя проблема в том, что я хотел бы иметь возможность звонить Foo с обоими Foo(v) так же как Foo(v.xy),