[libcxx-commits] [PATCH] D150538: [libc++] Untangles invoke.

[Louis Dionne via Phabricator via libcxx-commits]

ldionne added a comment.

In D150538#4342965 <https://reviews.llvm.org/D150538#4342965>, @philnik wrote:

> I wouldn't consider this disentangled, since `__invoke` and the type traits are still very much dependent on each other.

You were the one to add the comment about disentangling that code in D126593 <https://reviews.llvm.org/D126593>. Did you have something else in mind back then?

> I also don't think that it makes sense to move `__invoke` into the `type_traits` module.

I also agree this is kind of weird, but it seems like it is necessary. Another option would be to split into yet another header like `__functional/invoke_base.h` or `invoke_impl.h` or whatever. I do like the fact that this patch gets us to a point where the type traits are separated from the main `std::invoke` functionality. I don't think it's a *must*, but I kind of like it.

I think this patch unblocked things for @Mordante with his work on the std module, so I think we need to find a way to unblock this, it's not just a refactoring for the sake of it.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150538