[libcxx-commits] [PATCH] D60393: Force is_invocable template parameters to be complete types

Zoe Carver via Phabricator via libcxx-commits libcxx-commits at lists.llvm.org
Tue Apr 9 22:10:22 PDT 2019


zoecarver added a comment.

Your right, PR41360 is only a wording issue. I also agree `__flexible_invokable` is bad, but I don't see another way to check invokability while allowing incomplete types (which I think is necessary for containers).

As for `__invokable_r`, I think the two options are either ignore the UB or implement some version of `__complete_type`. I was just going off what the comment said needed to be done.


Repository:
  rCXX libc++

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

https://reviews.llvm.org/D60393





More information about the libcxx-commits mailing list