Allow running the test-suite when mongo extension is not loaded (#737)

Author: staabm

tests/DoctrineIntegration/ODM/DocumentManagerTypeInferenceTest.php

@@ -3,13 +3,18 @@
 namespace PHPStan\DoctrineIntegration\ODM;
 
 use PHPStan\Testing\TypeInferenceTestCase;
+use function extension_loaded;
 use const PHP_VERSION_ID;
 
 final class DocumentManagerTypeInferenceTest extends TypeInferenceTestCase
 {
 
 	public function dataFileAsserts(): iterable
 	{
+		if (!extension_loaded('mongodb')) {
+			self::markTestSkipped('MongoDB extension is not installed.');
+		}
+
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentManagerDynamicReturn.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentRepositoryDynamicReturn.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentManagerMergeReturn.php');