From 1fe7e2ec45ea713e100a014251eb9d61ac59bcbb Mon Sep 17 00:00:00 2001
From: Simon Friis Vindum <simonfv@gmail.com>
Date: Mon, 1 Dec 2025 10:35:43 +0100
Subject: [PATCH] Rust: Change `concat` to `strictconcat`

---
 rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll
index a8e8a0fcf87..c0e9a2f40db 100644
--- a/rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll
+++ b/rust/ql/lib/codeql/rust/elements/internal/StructFieldImpl.qll
@@ -30,7 +30,9 @@ module Impl {
     /** Holds if this record field is named `name` and belongs to the struct `s`. */
     predicate isStructField(Struct s, string name) { this = s.getStructField(name) }
 
-    override string toStringImpl() { result = concat(int i | | this.toStringPart(i) order by i) }
+    override string toStringImpl() {
+      result = strictconcat(int i | | this.toStringPart(i) order by i)
+    }
 
     private string toStringPart(int index) {
       index = 0 and result = this.getVisibility().toAbbreviatedString() + " "