Test quality of life checks for assertSuperType

Author: vojtech-dobes

tests/PHPStan/Testing/TypeInferenceTestCaseTest.php

@@ -37,6 +37,13 @@ public static function dataFileAssertionFailedErrors(): iterable
 				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-type-missing-namespace.php'),
 			),
 		];
+		yield [
+			__DIR__ . '/data/assert-super-type-missing-namespace.php',
+			sprintf(
+				'Missing use statement for assertSuperType() in %s on line 6.',
+				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-super-type-missing-namespace.php'),
+			),
+		];
 		yield [
 			__DIR__ . '/data/assert-certainty-wrong-namespace.php',
 			sprintf(
@@ -58,6 +65,13 @@ public static function dataFileAssertionFailedErrors(): iterable
 				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-type-wrong-namespace.php'),
 			),
 		];
+		yield [
+			__DIR__ . '/data/assert-super-type-wrong-namespace.php',
+			sprintf(
+				'Function PHPStan\Testing\assertSuperType imported with wrong namespace SomeWrong\Namespace\assertSuperType called in %s on line 8.',
+				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-super-type-wrong-namespace.php'),
+			),
+		];
 		yield [
 			__DIR__ . '/data/assert-certainty-case-insensitive.php',
 			sprintf(
@@ -79,6 +93,13 @@ public static function dataFileAssertionFailedErrors(): iterable
 				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-type-case-insensitive.php'),
 			),
 		];
+		yield [
+			__DIR__ . '/data/assert-super-type-case-insensitive.php',
+			sprintf(
+				'Missing use statement for assertSuperTYPe() in %s on line 6.',
+				$fileHelper->normalizePath('tests/PHPStan/Testing/data/assert-super-type-case-insensitive.php'),
+			),
+		];
 	}
 
 	#[DataProvider('dataFileAssertionFailedErrors')]

tests/PHPStan/Testing/data/assert-super-type-case-insensitive.php

@@ -0,0 +1,8 @@
+<?php // lint >= 8.0
+
+namespace MissingTypeCaseSensitive;
+
+function doFoo(string $s) {
+	assertSuperTYPe('string', $s);
+}
+

tests/PHPStan/Testing/data/assert-super-type-missing-namespace.php

@@ -0,0 +1,8 @@
+<?php // lint >= 8.0
+
+namespace MissingAssertTypeNamespace;
+
+function doFoo(string $s) {
+	assertSuperType('string', $s);
+}
+

tests/PHPStan/Testing/data/assert-super-type-wrong-namespace.php

@@ -0,0 +1,10 @@
+<?php // lint >= 8.0
+
+namespace WrongAssertTypeNamespace;
+
+use function SomeWrong\Namespace\assertSuperType;
+
+function doFoo(string $s) {
+	assertSuperType('string', $s);
+}
+