erichkeane added inline comments.
================ Comment at: clang/include/clang/Sema/SemaConcept.h:51 + // QualType of constrained template template parameter is not the same as + // its tailing version, so give it a pass here. + if (LHS.getKind() == TemplateArgument::Type && ---------------- what do you mean by 'tailing' here? ================ Comment at: clang/include/clang/Sema/SemaConcept.h:58 + cast<TemplateTypeParmType>(RHS.getAsType())->getIndex()) + continue; + } ---------------- What exactly is going on here? I would expect the 'AdjustConstraintDepth' work to have already made these basically equal. 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