C++部分概念 id:显式模板规范顺序/第一个参数的特殊状态的原因是什么?

我开始尝试概念的 C++20 功能，当我意识到可以为概念部分显式提供模板参数时，我感到非常高兴。我阅读了 cpp偏好文章，但没有找到那里提到的内容。

但后来我意识到一些奇怪的事情：模板参数的规范顺序与我的预期相反。当提供一个显式模板参数时，它会替换模板列表中的第二个模板：

#include <concepts>
#include <type_traits>
/// Concept in order to deduce if sth. is base of sth else
template <typename Impl, typename Base>             //XXX: here the order of Impl and Base are not 
concept Implements = std::is_base_of_v<std::remove_reference_t<Base>, // what I would've expected.
std::remove_reference_t<Impl>>;
/// Example Base class impl
struct BaseExample {};
/// Implementation of BaseExample
struct ImplExample : BaseExample {};
/// Function in which the concept is applied
template <Implements<BaseExample>... Baes> void f(Baes &&... ) {}//} ((void)b, ...); }
int main() {
(void) std::is_base_of_v<BaseExample, std::remove_reference_t<ImplExample &&>>; //< true
(void) std::is_base_of_v<BaseExample, std::remove_reference_t<ImplExample&>>;  //< true
f(ImplExample{}, ImplExample{});
}

从我的角度来看，部分提供显式模板参数的可能性是有意义的，因为反对类的部分模板规范的论点在这里不适用，并且使概念更加通用。现在我想知道：

1. 发布标准时，是否允许部分显式模板规范(可能(？
2. 这个规范顺序可能会保持不变还是这是一个错误？
3. 我该如何为自己回答这个问题？据我了解，c++20 标准现在还没有准备好，我找到了一份C++标准委员会论文的列表，其中我简要搜索了 2020 年提出的"概念"论文的标题。检查这些论文是要走的路，还是有一份可访问的单一文件，结合了作者目前同意的要点？

代码可以在这里找到。

编辑发布此内容后，我检查了指定三个模板参数时的行为。看起来我误解了规范顺序：第一个参数是"自由的"以包含要检查的参数，显式规范以第二个参数开头。这可以在这里看到。 即使我弄清楚了规范顺序背后的原因，我也会对上述问题的答案非常感兴趣。