オーバーロードされたテンプレート関数のMSVC2015 decltypeパラメータタイプ

Question

次のプログラムはC++ 11対応ですか？もしそうなら、それを引き起こす特定のMSVCバグについて知っていますか？および/または可能な回避策？

#include <iostream> 

struct A {}; 
struct B {}; 

constexpr A aaa = {}; 
constexpr B bbb = {}; 

template <typename T> 
void foo(T, decltype(aaa)) { std::cout << "a"; } 

template <typename T> 
void foo(T, decltype(bbb)) { std::cout << "b"; } 
//^C2995 'void foo(T,unknown-type)': function template has already been defined 

int main() 
{ 
    foo(0, aaa); 
    foo(0, bbb); 
} 

実際の型はdecltypeに代入されている場合、それは動作しますが、実際にはこれらの型が再現すると、私は彼らのために別名を持つことが希望されない、あまりにも複雑です。

Answer 1

次のマイナーな変更を加えた私の作品（VS 2015/V140）：

#include <iostream> 

struct A {}; 
struct B {}; 

constexpr A aaa = {}; 
constexpr B bbb = {}; 

using A_type = decltype(aaa); 
using B_type = decltype(bbb); 

template <typename T> 
void foo(T, A_type) { std::cout << "a"; } 

template <typename T> 
void foo(T, B_type) { std::cout << "b"; } 

int main() 
{ 
    foo(0, aaa); 
    foo(0, bbb); 
} 

しかし、この変形は、（それを作るのかわからない）同じエラーが得られます

template <typename T> 
struct TypeWrapper { 
    using type = T; 
}; 

template <typename T> 
void foo(T, typename TypeWrapper<decltype(aaa)>::type) { std::cout << "a"; } 

template <typename T> 
void foo(T, typename TypeWrapper<decltype(bbb)>::type) { std::cout << "b"; }