add failing test reproducing larastan#1883

sdkawata · May 15, 2024 · 46fa779 · 46fa779
1 parent 66db15f
commit 46fa779
Show file tree

Hide file tree

Showing 3 changed files with 23 additions and 0 deletions.
diff --git a/tests/Integration/IntegrationTest.php b/tests/Integration/IntegrationTest.php
@@ -22,6 +22,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'];
 
         if (! version_compare(LARAVEL_VERSION, '10.0.0', '>=')) {
             return;

diff --git a/tests/Integration/data/bug-1883.php b/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();
+}
diff --git a/tests/bootstrap.php b/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);