下記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
普通に考えれば推論可能な気がしますが、これはコンパイラのバグでしょうか?

それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。


**エラーメッセージ**
```
テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており
'func'の関数パラメータから推測できないため、使用できません
```

**ソースコード**
~~~
#include <type_traits>

// 1.複数可変長templateパラメータ関数の推論

template<typename... T> class Class {
};

template<typename... T1, typename... T2> 
void func(const Class<T1...>&, const Class<T2...>&) {
}

// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論

template<typename... T> class Outer {
public:
	template<typename... U> class Inner {
	};
};

template<typename... T, typename... U> 
void func(const typename Outer<T...>::template Inner<U...>&) {	// error!
}

int main() {

	// 1.
	Class<int, int> a, b;
	func(a, b);

	// 2.
	Outer<int, int>::Inner<int, int> c;
	func(c);	// error!

	return 0;
}

~~~