test mixed, array

Author: staabm

tests/PHPStan/Analyser/nsrt/bug-12393b.php

@@ -322,3 +322,31 @@ public function doFoo(string $b): void
 	}
 
 }
+
+class FooMixedToInt
+{
+
+	public int $foo;
+
+	public function doFoo(mixed $b): void
+	{
+		$this->foo = $b;
+		assertType('int', $this->foo);
+	}
+
+}
+
+
+class FooArrayToInt
+{
+
+	public int $foo;
+
+	public function doFoo(array $arr): void
+	{
+		$this->foo = $arr;
+		assertType('*NEVER*', $this->foo);
+	}
+
+}
+