SONARPY-5043 Type adjacent bytes literals like a single bytes literal

Co-authored-by: Claude Opus 5.5 <noreply@anthropic.com>
GitOrigin-RevId: e85ecdf971ccf8dc1b56265eb183b0c44676eaad

Author: 2 people

python-checks/src/test/resources/checks/incompatibleOperands/arithmetic.py

@@ -257,3 +257,12 @@ def __dir__(self) -> tuple:
 
 def custom_directory_operations():
     CustomDirectory().__dir__() + ("extra",)
+
+
+
+
+def adjacent_bytes_literals():
+    # Implicitly concatenated bytes literals form a single bytes literal
+    bytearray(b"prefix") + b"GET / HTTP/1.1\r\n" b"Host: example.com\r\n"
+    bytearray(b"prefix") + b"\x00\x01" rb"\x02"
+    bytearray(b"prefix") + "GET" "/"  # Noncompliant

python-frontend/src/main/java/org/sonar/python/tree/StringLiteralImpl.java

@@ -70,8 +70,8 @@ public String trimmedQuotesValue() {
   // https://docs.python.org/3/reference/lexical_analysis.html#string-and-bytes-literals
   @Override
   public InferredType type() {
-    if ((stringElements.size() == 1 && BYTES_PREFIXES.contains(stringElements.get(0).prefix())) ||
-      stringElements.stream().anyMatch(StringElement::isTemplate)) {
+    // Adjacent bytes literals (e.g. b"a" b"b") are concatenated into a single bytes literal
+    if (isBytes() || isTemplate()) {
       // Python 3: bytes, Python 2: str
       return InferredTypes.anyType();
     }

python-frontend/src/test/java/org/sonar/python/types/TypeInferenceTest.java

@@ -430,6 +430,8 @@ void string_literals() {
 
     assertThat(lastExpression("b'hello'").type()).isEqualTo(anyType());
     assertThat(lastExpression("rb'hello'").type()).isEqualTo(anyType());
+    assertThat(lastExpression("b'hello' b'world'").type()).isEqualTo(anyType());
+    assertThat(lastExpression("b'hello' Rb'world'").type()).isEqualTo(anyType());
 
     // this throws a 'SyntaxError: cannot mix bytes and nonbytes literals'
     assertThat(lastExpression("b'hello' 'world'").type()).isEqualTo(STR);