Fix fwrite

Author: VincentLanglet

resources/functionMap_php74delta.php

@@ -51,6 +51,7 @@
 		'ReflectionProperty::isInitialized' => ['bool', 'object='=>'?object'],
 		'ReflectionReference::fromArrayElement' => ['?ReflectionReference', 'array'=>'array', 'key'=>'int|string'],
 		'ReflectionReference::getId' => ['string'],
+		'SplFileObject::fwrite' => ['int|false', 'str'=>'string', 'length='=>'int'],
 		'SQLite3Stmt::getSQL' => ['string', 'expanded='=>'bool'],
 		'strip_tags' => ['string', 'str'=>'string', 'allowable_tags='=>'string|array<int, string>'],
 		'WeakReference::create' => ['WeakReference', 'referent'=>'object'],

tests/PHPStan/Rules/Comparison/StrictComparisonOfDifferentTypesRuleTest.php

@@ -996,4 +996,9 @@ public function testBug12946(): void
 		$this->analyse([__DIR__ . '/data/bug-12946.php'], []);
 	}
 
+	public function testBug13208(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-13208.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Comparison/data/bug-13208.php

@@ -0,0 +1,14 @@
+<?php
+
+namespace Bug13208;
+
+class HelloWorld
+{
+	public function main()
+	{
+		$file = new \SplFileObject('/tmp/file', "wd+");
+		if ($file->fwrite('a') === false) {
+			throw new \Exception("write failed !");
+		}
+	}
+}