Reproduce Phalcon reflection issue

ondrejmirtes · ondrejmirtes · commit 7beee3d5db13 · 2022-05-24T10:43:58.000+02:00
diff --git a/.github/workflows/other-tests.yml b/.github/workflows/other-tests.yml
@@ -234,6 +234,13 @@ jobs:
               cd e2e/undiscoverable-symbols-3
               composer install
               ../../phpstan
+          - php-version: 7.4
+            extensions: phalcon4
+            ini-values: memory_limit=256M
+            operating-system: ubuntu-latest
+            script: |
+              cd e2e/phalcon-null
+              ../../phpstan
     steps:
       - name: "Checkout"
         uses: actions/checkout@v3
diff --git a/e2e/phalcon-null/phpstan.neon b/e2e/phalcon-null/phpstan.neon
@@ -0,0 +1,5 @@
+parameters:
+	paths:
+		- test.php
+	level: 5
+	reportMaybesInMethodSignatures: true
diff --git a/e2e/phalcon-null/test.php b/e2e/phalcon-null/test.php
@@ -0,0 +1,13 @@
+<?php
+
+declare(strict_types=1);
+
+namespace Userland\Library\Forms;
+
+use Phalcon\Forms\Element\ElementInterface;
+
+class TextElement implements ElementInterface {
+	public function render(array $attributes = []): string {
+		return '<input type="text">';
+	}
+}
