qa: add failing test

Signed-off-by: Maximilian Bösing <[email protected]>
vimeo · Jul 9, 2023 · 6093869 · 6093869
1 parent 5cb2557
commit 6093869
Showing 1 changed file with 62 additions and 0 deletions.
diff --git a/tests/Template/ClassTemplateTest.php b/tests/Template/ClassTemplateTest.php
@@ -4207,6 +4207,68 @@ public function aggregate(...$values): null|int|float
                 'ignored_issues' => [],
                 'php_version' => '8.0',
             ],
+            'inheritedConditionalsWithMatchingTypes' => [
+                'code' => '<?php
+                    /** @template InstanceType */
+                    interface PluginManagerInterface
+                    {
+                        /**
+                         * @template TRequestedInstance extends InstanceType
+                         * @param class-string<TRequestedInstance>|string $id
+                         * @return ($id is class-string ? TRequestedInstance : InstanceType)
+                         * @throws InvalidArgumentException
+                         */
+                        public function get(string $id): mixed;
+                    }
+
+                    interface PluginInterface
+                    {}
+
+                    class ConcretePlugin implements PluginInterface
+                    {}
+
+                    /**
+                     * @template InstanceType
+                     * @template-implements PluginManagerInterface<InstanceType>
+                     */
+                    abstract class AbstractPluginManager implements PluginManagerInterface
+                    {
+                        public function get(string $id): mixed
+                        {
+                            throw new InvalidArgumentException();
+                        }
+                    }
+
+                    /**
+                     * @template InstanceType of object
+                     * @template-extends AbstractPluginManager<InstanceType>
+                     */
+                    abstract class AbstractSingleInstancePluginManager extends AbstractPluginManager
+                    {
+                        /**
+                         * {@inheritDoc}
+                         */
+                        public function get(string $id): object
+                        {
+                            return parent::get($id);
+                        }
+                    }
+
+                    /** @template-extends AbstractSingleInstancePluginManager<PluginInterface> */
+                    class ConcretePluginManager extends AbstractSingleInstancePluginManager
+                    {}
+
+                    $plugins = new ConcretePluginManager();
+                    $classString = $plugins->get(ConcretePlugin::class);
+                    $string = $plugins->get("foo");
+                ',
+                'assertions' => [
+                    '$classString' => 'ConcretePlugin',
+                    '$string' => 'PluginInterface',
+                ],
+                'ignored_issues' => [],
+                'php_version' => '8.0',
+            ],
         ];
     }