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

Рассмотрим следующую программу (godbolt):

template <typename, typename>
struct is_same { static constexpr bool value = false; };

template <typename T>
struct is_same<T, T> { static constexpr bool value = true; };

template <typename T, typename U>
static constexpr bool is_same_v = is_same<T, U>::value;

using uintptr_t = unsigned long long;

template <int const* I>
struct Parameterized { int const* member; };

template <typename T>
auto create() {
    static constexpr int const I = 2;

    return Parameterized<&I>{ &I };
}

int main() {
    auto one = create<short>();
    auto two = create<int>();

    if (is_same_v<decltype(one), decltype(two)>) {
        return reinterpret_cast<uintptr_t>(one.member) == reinterpret_cast<uintptr_t>(two.member) ? 1 : 2;
    }

    return 0;
}

На основе n4659 (окончательный рабочий проект С++ 17):

§ 17.4 [тип темп.]/1:

Два идентификатора шаблона ссылаются на один и тот же класс, функцию или переменную, если:

• их имена-шаблонов, идентификаторы-операторов-функций или литеральные-идентификаторы-операторов относятся к одному и тому же шаблону и
• их соответствующие аргументы шаблона типа имеют тот же тип и
• их соответствующие нетиповые аргументы шаблона целочисленного или перечисляемого типа имеют идентичные значения и
• их соответствующие нетиповые шаблонные аргументы типа указателя относятся к одному и тому же объекту или функции или являются как нулевым значением указателя, так и
• их соответствующие нетиповые аргументы шаблона типа указатель на член относятся к одному и тому же члену класса или являются как нулевым значением указателя члена, так и
• их соответствующие нетиповые шаблонные аргументы ссылочного типа относятся к одному и тому же объекту или функции и
• их соответствующие аргументы шаблона шаблона ссылаются на один и тот же шаблон.

Я бы ожидал, что:

• Либо существует один экземпляр static constexpr int const I = 2; для всех экземпляров create<T>, и в этом случае decltype(one) относится к тому же классу, что и delctype(two).
• Или есть один экземпляр static constexpr int const I = 2; для каждого экземпляра create<T>, и в этом случае они относятся к другому классу.

Тем не менее, при использовании GCC или Clang (любая версия, которая создает двоичный файл) результатом main является 2, указывающее:

• Один и тот же класс для one и two.
• И все же другой экземпляр create<T>()::I.

Листинг сборки подтверждает, что созданы 2 экземпляра: _ZZ6createIsEDavE1I (он же create<short>()::I) и _ZZ6createIiEDavE1I (он же create<int>()::I).

Согласно стандарту C++17, должны ли типы one и two быть одинаковыми или нет?

Интересный вариант: замена = 2 на = sizeof(T) приводит к тому, что типы меняются (см. стрела бога).