erichkeane added a comment. OK, 1 issue left (see `FriendFunc`).
================ Comment at: clang/test/SemaTemplate/concepts.cpp:436 + SingleDepthReferencesTopLambda(v); + // TODO: This should error on constraint failure! (Lambda!) + SingleDepthReferencesTopLambda(will_fail); ---------------- So see the 'TODO' for all the interesting cases. Lambdas apparently have not had their constraints checked even before this: https://godbolt.org/z/sxjTx7WGn So I think that is a bug that is 'existing', and I would love to make that a separate patch/bug fix. ================ Comment at: clang/test/SemaTemplate/concepts.cpp:471 + // isn't re-evaluating the constraint? + FriendFunc(CFC, 1.0); + ---------------- THIS one looks like a regression, it seems to matter which order these two functions are called in, whether it catches it or not. So this is the 1 example I have: https://godbolt.org/z/vY4f3961s Note that if you swap lines 32 and 33, this patch ALSO fails, but in the version in the example, it does NOT fail despite the fact that it SHOULD. CHANGES SINCE LAST ACTION https://reviews.llvm.org/D119544/new/ https://reviews.llvm.org/D119544 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits