================ @@ -55,3 +55,9 @@ Limitations Does not currently diagnose uses of type traits with nested name specifiers (e.g. ``std::chrono::is_clock``, ``std::chrono::treat_as_floating_point``). + +Does not diagnose ``std::tuple_size<T>::value`` and +``std::variant_size<T>::value`` inside requires-expressions, concept definitions +and requires-clauses. There, a substitution failure in the ``::value`` form +makes the constraint unsatisfied, while ``std::tuple_size_v<T>`` and +``std::variant_size_v<T>`` would cause a hard error instead. ---------------- yashaggarwal85d wrote:
Ig putting this under limitations makes it sound like we could fix this but haven’t https://github.com/llvm/llvm-project/pull/235257 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
