add failing test reproducing larastan#1883

tests/Integration/IntegrationTest.php

@@ -9,6 +9,7 @@
 use PHPStan\File\FileHelper;
 use PHPStan\Testing\PHPStanTestCase;
 
+use function count;
 use function version_compare;
 
 class IntegrationTest extends PHPStanTestCase
@@ -22,6 +23,7 @@ public static function dataIntegrationTests(): iterable
         yield [__DIR__ . '/data/model-properties.php'];
         yield [__DIR__ . '/data/blade-view.php'];
         yield [__DIR__ . '/data/helpers.php'];
+        yield [__DIR__ . '/data/bug-1883.php', ['Call to an undefined static method RedisFacade::noSuchMethod().']];
 
         if (! version_compare(LARAVEL_VERSION, '10.0.0', '>=')) {
             return;
@@ -37,8 +39,20 @@ public function testIntegration(string $file, array|null $expectedErrors = null)
 
         if ($expectedErrors === null) {
             $this->assertNoErrors($errors);
-        } else { // @phpcs:ignore
-            // TODO: compare errors
+        } else {
+            $this->assertSameErrorMessages($expectedErrors, $errors);
+        }
+    }
+
+    /**
+     *  @param string[] $expectedErrors
+     *  @param Error[]  $errors
+     */
+    private function assertSameErrorMessages(array $expectedErrors, array $errors): void
+    {
+        $this->assertCount(count($expectedErrors), $errors);
+        foreach ($errors as $index => $error) {
+            $this->assertSame($expectedErrors[$index], $error->getMessage());
         }
     }
 

tests/Integration/data/bug-1883.php

@@ -0,0 +1,16 @@
+<?php
+
+use Illuminate\Support\Facades\Facade;
+
+/**
+ * @mixin RedisAlias
+ */
+class RedisFacade extends Facade
+{
+}
+
+
+function test(): void
+{
+    RedisFacade::noSuchMethod();
+}

tests/bootstrap.php

@@ -61,3 +61,9 @@ public function customMacroString(): string
 if (version_compare(PHP_VERSION, '8.1.0', '>=') && version_compare(PHP_VERSION, '8.2.0', '<')) {
     include_once 'enum-definition.php';
 }
+
+class RedisFacade
+{
+}
+
+class_alias(RedisFacade::class, RedisAlias::class);