Reproduce internal error unsuccessfully

Ref #425

Author: ondrejmirtes

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');
 	}
 
 	/**

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;
+}

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);
+	}
+
+}