================ @@ -1519,7 +1519,8 @@ bool Sema::IsAtLeastAsConstrained(NamedDecl *D1, auto IsExpectedEntity = [](const FunctionDecl *FD) { FunctionDecl::TemplatedKind Kind = FD->getTemplatedKind(); return Kind == FunctionDecl::TK_NonTemplate || - Kind == FunctionDecl::TK_FunctionTemplate; + Kind == FunctionDecl::TK_FunctionTemplate || ---------------- cor3ntin wrote:
This does not seem correct as it would make the assert useless, right? I think the cases that should be valid are TK_NonTemplate, TK_MemberSpecialization, TK_FunctionTemplateSpecialization. (ie the non-dependent cases) https://github.com/llvm/llvm-project/pull/98671 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits