From 7a5051bbc4e0944db3551837fa6eac580fbd6f03 Mon Sep 17 00:00:00 2001
From: Bruce Weirdan <weirdan@gmail.com>
Date: Sun, 5 Dec 2021 23:01:15 +0200
Subject: [PATCH] Added reproducer for stub property not set in constructor

Refs psalm/psalm-plugin-symfony#225
---
 tests/StubTest.php                         | 56 ++++++++++++++++++++++
 tests/fixtures/stubs/SymfonyKernel.phpstub | 11 +++++
 2 files changed, 67 insertions(+)
 create mode 100644 tests/fixtures/stubs/SymfonyKernel.phpstub

diff --git a/tests/StubTest.php b/tests/StubTest.php
index 863caad0b9f..5be8f42af85 100644
--- a/tests/StubTest.php
+++ b/tests/StubTest.php
@@ -1301,4 +1301,60 @@ function em(EntityManager $em) : void {
 
         $this->analyzeFile($file_path, new Context());
     }
+
+    public function testOverriddenStubProperty(): void
+    {
+        $this->project_analyzer = $this->getProjectAnalyzerWithConfig(
+            TestConfig::loadFromXML(
+                dirname(__DIR__),
+                '<?xml version="1.0"?>
+                <psalm>
+                    <projectFiles>
+                        <directory name="src" />
+                    </projectFiles>
+                    <stubs>
+                        <file name="tests/fixtures/stubs/SymfonyKernel.phpstub" />
+                    </stubs>
+                </psalm>'
+            )
+        );
+
+        $vendor_file_path = getcwd() . '/vendor/Kernel.php';
+
+        $this->addFile(
+            $vendor_file_path,
+            '<?php
+                namespace Symfony\Component\HttpKernel;
+
+                class Kernel {
+                    protected $environment;
+                    public function __construct(string $environment)
+                    {
+                        if (!$this->environment = $environment) {
+                            throw new InvalidArgumentException;
+                        }
+                    }
+                }'
+        );
+
+        $file_path = getcwd() . '/src/somefile.php';
+        $this->addFile(
+            $file_path,
+            '<?php
+                namespace Sonata\DoctrineORMAdminBundle\Tests\App;
+
+                use Symfony\Component\HttpKernel\Kernel;
+
+                final class AppKernel extends Kernel
+                {
+                    public function __construct()
+                    {
+                        parent::__construct("test");
+                    }
+                }
+            '
+        );
+
+        $this->analyzeFile($file_path, new Context(), false);
+    }
 }
diff --git a/tests/fixtures/stubs/SymfonyKernel.phpstub b/tests/fixtures/stubs/SymfonyKernel.phpstub
new file mode 100644
index 00000000000..445bac7c58f
--- /dev/null
+++ b/tests/fixtures/stubs/SymfonyKernel.phpstub
@@ -0,0 +1,11 @@
+<?php
+
+namespace Symfony\Component\HttpKernel;
+
+class Kernel
+{
+    /**
+     * @var string
+     */
+    protected $environment;
+}