================ @@ -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. ---------------- zwuis wrote:
You added this to the _Limitations_ section. Did you mean we can handle it correctly, but we don't do it currently? https://github.com/llvm/llvm-project/pull/235257 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
