Rust: Remove unnecessary characteristic predicate

paldepind · paldepind · commit e7ad091b0f8e · 2025-01-24T08:56:41.000+01:00
diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll
@@ -767,8 +767,6 @@ final class ReferenceContent extends Content, TReferenceContent {
  * Examples include the elements of a set, array, vector, or stack.
  */
 final class ElementContent extends Content, TElementContent {
-  ElementContent() { this = TElementContent() }
-
   override string toString() { result = "element" }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -767,8 +767,6 @@ final class ReferenceContent extends Content, TReferenceContent {`
`767`	`767`	`* Examples include the elements of a set, array, vector, or stack.`
`768`	`768`	`*/`
`769`	`769`	`final class ElementContent extends Content, TElementContent {`
`770`		`- ElementContent() { this = TElementContent() }`
`771`		`-`
`772`	`770`	`override string toString() { result = "element" }`
`773`	`771`	`}`
`774`	`772`