Skip DocumentManagerTypeInferenceTest on PHP8+

Author: staabm

tests/DoctrineIntegration/ODM/DocumentManagerTypeInferenceTest.php

@@ -5,18 +5,14 @@
 use PHPStan\Testing\TypeInferenceTestCase;
 use const PHP_VERSION_ID;
 
-class DocumentManagerTypeInferenceTest extends TypeInferenceTestCase
+final class DocumentManagerTypeInferenceTest extends TypeInferenceTestCase
 {
 
 	/**
 	 * @return iterable<mixed>
 	 */
 	public function dataFileAsserts(): iterable
 	{
-		if (PHP_VERSION_ID >= 80000) {
-			return [];
-		}
-
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentManagerDynamicReturn.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentRepositoryDynamicReturn.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/documentManagerMergeReturn.php');
@@ -33,6 +29,10 @@ public function testFileAsserts(
 		...$args
 	): void
 	{
+		if (PHP_VERSION_ID >= 80000) {
+			self::markTestSkipped('Test requires PHP 7.');
+		}
+
 		$this->assertFileAsserts($assertType, $file, ...$args);
 	}