From 6325dd2ce11af763432bc481225abe62cd6bd38e Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Thu, 9 Jan 2025 11:03:41 +0100 Subject: [PATCH] C++: Simplify `toString` --- cpp/ql/lib/semmle/code/cpp/Concept.qll | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/Concept.qll b/cpp/ql/lib/semmle/code/cpp/Concept.qll index 5bac47930c7..5d7cd96ee38 100644 --- a/cpp/ql/lib/semmle/code/cpp/Concept.qll +++ b/cpp/ql/lib/semmle/code/cpp/Concept.qll @@ -165,10 +165,7 @@ class NestedRequirementExpr extends Expr, @nested_requirement { */ class ConceptIdExpr extends RequirementExpr, @concept_id { override string toString() { - exists(string name | - concept_templates(this.getConcept(), name, _) and - result = name + "<...>" - ) + result = this.getConcept().getName() + "<...>" or // The following is for backward compatibility with databases created with // CodeQL 2.19.3, 2.19.4, and 2.20.0. Those databases include concept id