Update bug-12902.php

staabm · staabm · commit b7477ac2baa8 · 2025-04-18T12:23:29.000+02:00
diff --git a/tests/PHPStan/Analyser/nsrt/bug-12902.php b/tests/PHPStan/Analyser/nsrt/bug-12902.php
@@ -29,12 +29,20 @@ public function __construct()
 		self::$i = getInt();
 		assertType('int', self::$i);
 		assertNativeType('int', self::$i);
+
+		$this->impureCall();
+
+		assertType('float|int', self::$i);
+		assertNativeType('float|int', self::$i);
 	}
 
 	public function doFoo(): void {
 		assertType('float|int', self::$i);
 		assertNativeType('float|int', self::$i);
 	}
+
+	/** @phpstan-impure  */
+	public function impureCall(): void {}
 }
 
 function getInt(): int {

Original file line number	Diff line number	Diff line change
`@@ -29,12 +29,20 @@ public function __construct()`
`29`	`29`	`self::$i = getInt();`
`30`	`30`	`assertType('int', self::$i);`
`31`	`31`	`assertNativeType('int', self::$i);`
	`32`	`+`
	`33`	`+ $this->impureCall();`
	`34`	`+`
	`35`	`+ assertType('float\|int', self::$i);`
	`36`	`+ assertNativeType('float\|int', self::$i);`
`32`	`37`	`}`
`33`	`38`
`34`	`39`	`public function doFoo(): void {`
`35`	`40`	`assertType('float\|int', self::$i);`
`36`	`41`	`assertNativeType('float\|int', self::$i);`
`37`	`42`	`}`
	`43`	`+`
	`44`	`+ /** @phpstan-impure */`
	`45`	`+ public function impureCall(): void {}`
`38`	`46`	`}`
`39`	`47`
`40`	`48`	`function getInt(): int {`