[libcxx-commits] [PATCH] D127919: [libc++] Disentangle _If, _Or and _And

[Louis Dionne via Phabricator via libcxx-commits]

ldionne added inline comments.


================
Comment at: libcxx/include/__type_traits/conjunction.h:27
 struct __conjunction_impl {
   using type = conditional_t<!bool(_Arg::value), _Arg, typename __conjunction_impl<_Args...>::type>;
 };
----------------
I imagine it should be possible to optimize this similarly to what we're doing with `disjunction` below?


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D127919/new/

https://reviews.llvm.org/D127919