Regression test

Author: ondrejmirtes

Diff for: tests/PHPStan/Analyser/nsrt/bug-11188.php

@@ -0,0 +1,28 @@
+<?php
+
+namespace Bug11188;
+
+use DateTime;
+use function PHPStan\Testing\assertType;
+
+/**
+ * @template TDefault of string
+ * @template TExplicit of string
+ *
+ * @param TDefault $abstract
+ * @param array<string, mixed> $parameters
+ * @param TExplicit|null $type
+ * @return (
+ *   $type is class-string ? new<TExplicit> :
+ *   $abstract is class-string ? new<TDefault> : mixed
+ * )
+ */
+function instance(string $abstract, array $parameters = [], ?string $type = null): mixed
+{
+	return 'something';
+}
+
+function (): void {
+	assertType(DateTime::class, instance('cache', [], DateTime::class));
+	assertType(DateTime::class, instance(DateTime::class));
+};