Test for #5527

phpstan/phpstan#5527

Author: ondrejmirtes

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -432,6 +432,12 @@ public function testBug5529(): void
 		$this->assertCount(0, $errors);
 	}
 
+	public function testBug5527(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-5527.php');
+		$this->assertCount(0, $errors);
+	}
+
 	/**
 	 * @param string $file
 	 * @return \PHPStan\Analyser\Error[]

tests/PHPStan/Analyser/data/bug-5527.php

@@ -0,0 +1,20 @@
+<?php
+
+namespace Bug5527;
+
+use function PHPStan\Testing\assertType;
+
+class Base64
+{
+	const chars = 'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/';
+
+	public function decode(string $buf): void
+	{
+		$chars = array_flip(str_split(self::chars));
+		$res = $chars[$buf[0]] << 18;
+		$res += $chars[$buf[1]] << 12;
+		$res += $chars[$buf[2]] << 6;
+		$res += $chars[$buf[3]];
+		assertType('int', $res);
+	}
+}