diff --git a/include/type_traits b/include/type_traits index aad942565..1b2c63e33 100644 --- a/include/type_traits +++ b/include/type_traits @@ -1533,7 +1533,7 @@ template ::value || is_void<_Arg>::va struct __is_assignable_imp : public common_type < - decltype(__is_assignable_test(declval<_Tp>(), declval<_Arg>())) + decltype(_VSTD::__is_assignable_test(declval<_Tp>(), declval<_Arg>())) >::type {}; template diff --git a/test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp b/test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp index b46a4d6bc..d33019bcb 100644 --- a/test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp +++ b/test/std/utilities/meta/meta.unary/meta.unary.prop/is_assignable.pass.cpp @@ -49,6 +49,9 @@ struct E }; #endif +template +struct X { T t; }; + int main() { test_is_assignable (); @@ -67,4 +70,7 @@ int main() test_is_not_assignable (); test_is_not_assignable (); test_is_not_assignable (); + +// pointer to incomplete template type + test_is_assignable*&, X*> (); }