クラステンプレート内の非型メンバ関数テンプレートの実装方法

前提・実現したいこと

クラステンプレート内で宣言 (using) した型をテンプレート引数にとる非型メンバ関数テンプレートを実装したいです。
下記コードの void method3()、void method4() が実装したいメンバ関数です。

c++
1// main.h
2
3template <typename T>
4struct A {
5    
6    // クラステンプレート内のメンバ関数テンプレート
7    template <typename S>
8    void method1();
9    
10    // クラステンプレート内の非型テンプレートメンバ関数
11    template <size_t N>
12    void method2();
13    
14    // クラステンプレート内で宣言した型をテンプレート引数とする非型テンプレートメンバ関数
15    using size_type1 = size_t;
16    template <size_type1 N>
17    void method3();
18    
19    // クラステンプレート内で宣言したTに依存する型をテンプレート引数とする非型テンプレートメンバ関数
20    using size_type2 = typename T::size_type;
21    template <size_type2 N>
22    void method4();
23    
24};

実装コード

c++
1// main.cc
2
3#include <iostream>
4#include "main.h"
5
6#define show() (std::cout << __func__ << std::endl)
7
8template <typename T>
9template <typename S>
10void A<T>::method1() { show(); }
11
12template <typename T>
13template <size_t N>
14void A<T>::method2() { show(); }
15
16template <typename T>
17template <typename A<T>::size_type1 N>
18void A<T>::method3() { show(); }
19
20template <typename T>
21template <typename A<T>::size_type2 N>
22void A<T>::method4() { show(); }
23
24struct I { using size_type = size_t; };
25
26int main() {
27    A<I> a;
28    a.method1<int>();
29    a.method2<10>();
30    a.method3<10>();
31    a.method4<10>();
32    return 0;
33}

発生している問題・エラーメッセージ

Visual Studio Community 2019 (ver.16.3.7) では以下のエラーが表示され、コンパイルできませんでした。
コンパイルできるようにするにはどうしたらよいでしょうか？

E0147	宣言に 関数テンプレート "void A<T>::method3<N>()" との互換性がありません
E0147	宣言に 関数テンプレート "void A<T>::method4<N>()" との互換性がありません

試したこと

g++ では普通にコンパイルできました。

bash
1$ g++ -std=c++17 main.cc && ./a
2method1
3method2
4method3
5method4

補足情報（FW/ツールのバージョンなど）

bat
1> cl
2Microsoft(R) C/C++ Optimizing Compiler Version 19.23.28106.4 for x86
3Copyright (C) Microsoft Corporation.  All rights reserved.

bash
1$ g++ --version
2g++.exe (Rev1, Built by MSYS2 project) 8.3.0
3Copyright (C) 2018 Free Software Foundation, Inc.
4This is free software; see the source for copying conditions.  There is NO
5warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.