================
@@ -1691,10 +1691,7 @@ class ConstraintRefersToContainingTemplateChecker
using inherited::TransformTemplateTypeParmType;
QualType TransformTemplateTypeParmType(TypeLocBuilder &TLB,
TemplateTypeParmTypeLoc TL, bool) {
- assert(TL.getDecl()->getDepth() <= TemplateDepth &&
- "Nothing should reference a value below the actual template depth, "
- "depth is likely wrong");
- if (TL.getDecl()->getDepth() != TemplateDepth)
+ if (TL.getDecl()->getDepth() < TemplateDepth)
----------------
zyn0217 wrote:
I don't see the justification for removing the assert here. When would we
otherwise hit it?
Besides, we have the same pattern in `TransformTemplateTypeParmType()` above.
Does it also impact anything?
https://github.com/llvm/llvm-project/pull/99813
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
