Никакое “переопределение ошибки параметра по умолчанию” для функции членства шаблона класса?

Почему следующее не дает ошибки компиляции?:

// T.h

template<class T> class X
{
public:
    void foo(int a = 42);
};

// Main.cpp

#include "T.h"
#include <iostream>

template<class T> void X<T>::foo(int a = 13)
{
    std::cout << a << std::endl;
}

int main()
{
    X<int> x;
    x.foo();   // prints 42
}

Кажется, как будто эти 13 просто тихо проигнорированы компилятором. Почему это?
Вещь cookie состоит в том, что, если определение шаблона класса находится в Main.cpp вместо заголовочного файла, я действительно получаю ошибку переопределения параметра по умолчанию.

Теперь я знаю, что компилятор будет жаловаться на это, если это было просто дежурное блюдо (нешаблон) функция.

Что стандарт должен сказать о параметрах по умолчанию в функциях членства шаблона класса или шаблонах функций?