Merge pull request cpprefjp#833 from cpprefjp/remove-concept-non-type…

…-constraint-patch

非型テンプレート制約を削除

lang/cpp20/concepts.md

@@ -612,18 +612,6 @@ int main() {
         X<char> x; // requires Addable<char, int>
         ```
 
-    - コンセプトのテンプレートパラメータが非型である場合、そのコンセプトを使用した制約テンプレートパラメータは非型になる：
-        ```cpp
-        template <int N>
-        concept C = N >= 0;
-
-        template <C N>
-        struct X {};
-
-        X<1> x;
-        //X<-1> y; // コンパイルエラー！制約を満たさない
-        ```
-
     - 制約パラメータに省略記号がついている場合、パラメータパックと見なされる。単一パラメータのコンセプトをパラメータパックにした場合、パラメータパックの各テンプレートパラメータがそのコンセプトを満たすべきという制約になる。複数パラメータをとるコンセプトをパラメータパックにした場合、そのパラメータパックに渡された引数列がコンセプトに渡される：
         ```cpp
         template<typename T> concept C1 = true;