C ++ Concepts / SFINAE: разные результаты clang и MSVC / G ++ для определения внешней функции с шаблоном и Concept / SFINAE

Я определяю конструкторы класса, который ограничен проверкой эквивалентности типа базового типа переданного итератора по сравнению с node_type, определенным в моем классе, с помощью концепций или SFINAE.

Однако, попробовав несколько комбинаций с концепцией is_same<>, is_same_v<>, enable_if<> и same_as<>, определение вне линии всегда будет приводить к ошибкам времени компиляции по крайней мере в одном из основных компиляторов. В настоящее время нижеприведенный фрагмент не видит ошибок на MSVC / g ++, но clang жалуется, все с использованием последней версии (19.28, 11.1, 12.0 соответственно). Кто-нибудь может прояснить, что здесь не так? Спасибо.

Отредактировано:

• Код, как показано ниже, на Godbolt с использованием C ++ 20, MSVC / g ++ ok, ошибка clang https://godbolt.org/z/fdqEYxKh8

• Код не показан ниже, но на godbolt с использованием C ++ 11 SFINAE, MSVC / clang ok, ошибка g ++ https://godbolt.org/z/7nr7a8jY8

#include <stdio.h>
#include <iterator>
#include <array>
#include <concepts>
#include <cstdlib>

template <typename FPType, std::size_t N>
class PointND {
private:
    std::array<FPType, N> coords_;
};

template <typename FPType, std::size_t N, typename ElemType>
class Tree {
public:

    struct node_type {
        PointND<FPType, N> key;
        ElemType value;
    };
    
    template <std::random_access_iterator RAI>
    requires std::same_as<typename std::iterator_traits<RAI>::value_type, 
                          typename Tree<FPType, N, ElemType>::node_type>
    Tree(RAI, RAI);
};

template <typename FPType, std::size_t N, typename ElemType>
template <std::random_access_iterator RAI> 
requires std::same_as<typename std::iterator_traits<RAI>::value_type, 
                      typename Tree<FPType, N, ElemType>::node_type>
Tree<FPType, N, ElemType>::Tree(RAI begin, RAI end) {
}

Ошибка в этой строке: 45: 30: ошибка: вне строки определение «Tree‹ FPType, N, ElemType ›» не соответствует никакому объявлению в «Tree‹ FPType, N, ElemType ›»

Tree<FPType, N, ElemType>::Tree(RAI begin, RAI end) {