Regression test

Ref phpstan/phpstan#1870

Author: ondrejmirtes

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -497,6 +497,8 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-2142.php');
 
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/math.php');
+
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-1870.php');
 	}
 
 	/**

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

@@ -0,0 +1,23 @@
+<?php
+
+namespace Bug1870;
+
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+	public function doFoo(): void
+	{
+		static $i = 0;
+		$i++;
+		assertType('(float|int)', $i);
+	}
+
+	public function doBar(): void
+	{
+		static $i = 0;
+		assertType('(float|int)', ++$i);
+	}
+
+}