[libcxx-commits] [libcxx] [libc++] Properly decay functions in CTAD for `pair` (PR #134544)

[via libcxx-commits]

================
@@ -150,41 +153,52 @@ struct _LIBCPP_TEMPLATE_VIS pair
       class _U1,
       class _U2,
 #  endif
-      __enable_if_t<_CheckArgs::template __is_pair_constructible<_U1, _U2>(), int> = 0 >
----------------
huixie90 wrote:

I am trying to understand why the original code instantiate `pair<T1, T2>` at this point. is it because  `_CheckArgsDep` was a member struct and it has to instantiate the enclosing class to be able to use it?

https://github.com/llvm/llvm-project/pull/134544