lime added inline comments.
================
Comment at: clang/lib/Sema/SemaConcept.cpp:590
+// FIXME: may be incomplete
+static unsigned CalculateTemplateDepthForConstraints(const Expr *Constr) {
----------------
erichkeane wrote:
> I'd like some sort of assert in the case where you don't know what to do
> here. We need to collect all of these cases best we can in advance.
>
> I'd suggest ALSO running libcxx tests against this once you have the assert
> in place, which should help.
I'm afraid that assertions would abort Clang on many code. This function serves
as a check for `AdjustConstraintDepth`, and this class looks like just handling
`TemplateTypeParmType`. The function has already handled
`TemplateTypeParmType`. And determining cases that should trigger the
assertions also involves the subsumption of atomic constraints. It is needed to
check the depth according to `TemplateTypeParmType`, because the identity of
`QualType` involves the depth, and then effects the subsumption. There will be
some works to determine which cases are the same, and leave assertions for the
cases. This kind of works is highly related to the depth and the subsumption,
while I think it is less related to template template parameters.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D134128/new/
https://reviews.llvm.org/D134128
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
