Reproduce internal error unsuccessfully

Ref #425
phpstan · Feb 6, 2023 · 148fd32 · 148fd32 · kalimatas · Sep 18, 2023
1 parent 44e77f0
commit 148fd32
Show file tree

Hide file tree

Showing 3 changed files with 71 additions and 0 deletions.
diff --git a/tests/Type/Doctrine/QueryBuilder/QueryBuilderGetQueryDynamicReturnTypeExtensionTest.php b/tests/Type/Doctrine/QueryBuilder/QueryBuilderGetQueryDynamicReturnTypeExtensionTest.php
@@ -11,6 +11,7 @@ class QueryBuilderGetQueryDynamicReturnTypeExtensionTest extends TypeInferenceTe
  public function dataFileAsserts(): iterable
  {
  yield from $this->gatherAssertTypes(__DIR__ . '/../data/QueryResult/queryBuilderGetQuery.php');
+ yield from $this->gatherAssertTypes(__DIR__ . '/../data/QueryResult/bug-245.php');
  }
 
  /**

diff --git a/tests/Type/Doctrine/data/QueryResult/Entities/Many.php b/tests/Type/Doctrine/data/QueryResult/Entities/Many.php
@@ -8,6 +8,7 @@
 use Doctrine\ORM\Mapping\JoinColumn;
 use Doctrine\ORM\Mapping\JoinColumns;
 use Doctrine\ORM\Mapping\ManyToOne;
+use Doctrine\ORM\Mapping as ORM;
 
 /**
  * @Entity
@@ -102,3 +103,38 @@ class Many
  */
  public $compoundPkAssoc;
 }
+
+/**
+ * @Entity
+ */
+class Bug245Episode
+{
+ /**
+ * @var \Doctrine\Common\Collections\Collection<Bug245Segment>
+ * @ORM\OneToMany(
+ * targetEntity="App\VideoBundle\Entity\Segment",
+ * mappedBy="episode",
+ * cascade={"persist", "remove"},
+ * orphanRemoval=true
+ * )
+ * @ORM\OrderBy({"position" = "ASC"})
+ */
+ private $segments;
+}
+
+/**
+ * @ORM\Entity
+ */
+class Bug245Segment
+{
+ /**
+ * @ORM\ManyToOne(
+ * targetEntity="App\VideoBundle\Entity\Episode",
+ * inversedBy="segments",
+ * cascade={"persist"}
+ * )
+ * @ORM\JoinColumn(name="episode_id", referencedColumnName="id", nullable=false)
+ * @var Bug245Episode
+ */
+ private $episode;
+}
diff --git a/tests/Type/Doctrine/data/QueryResult/bug-245.php b/tests/Type/Doctrine/data/QueryResult/bug-245.php
@@ -0,0 +1,34 @@
+<?php
+
+namespace QueryResult\CreateQuery;
+
+use Doctrine\ORM\EntityManager;
+use QueryResult\Entities\Bug245Episode;
+use QueryResult\Entities\Bug245Segment;
+use function PHPStan\Testing\assertType;
+
+class Foo
+{
+
+ /** @var EntityManager */
+ private $em;
+
+ public function doFoo(): void
+ {
+ $result = $this->em->createQueryBuilder()
+ ->select('episode.id')
+ ->from(Bug245Episode::class, 'episode', 'episode.id')
+ ->where('episode.segmentsComplete = false')
+ ->andWhere('0 != SIZE(episode.segments)')
+ ->andWhere(
+ '0 < (SELECT COUNT(last_segment.id) FROM ' . Bug245Segment::class . ' as last_segment
+ WHERE last_segment.episode = episode.id AND last_segment.isLastSegment = true)'
+ )
+ ->andWhere(
+ "0 = (SELECT COUNT(segment.id) FROM " . Bug245Segment::class . " as segment
+ WHERE segment.episode = episode.id AND segment.state != 'distributed')"
+ )->getQuery()->getResult();
+ assertType('mixed', $result);
+ }
+
+}