Add unit tests for NeverType and NonAcceptingNeverType isSuperTypeOf TemplateType

Tests both NeverType and NonAcceptingNeverType return Maybe when checking
isSuperTypeOf against a TemplateType, since a template type can be
instantiated to never. Tests with both unbound and bounded template types.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Type/TemplateTypeTest.php

@@ -281,6 +281,30 @@ public static function dataIsSuperTypeOf(): array
 				TrinaryLogic::createMaybe(),
 				TrinaryLogic::createYes(),
 			],
+			23 => [
+				$templateType('T', null),
+				new NeverType(),
+				TrinaryLogic::createYes(), // T isSuperTypeTo *NEVER* - never is bottom type
+				TrinaryLogic::createMaybe(), // *NEVER* isSuperTypeTo T - T could be never
+			],
+			24 => [
+				$templateType('T', null),
+				new NonAcceptingNeverType(),
+				TrinaryLogic::createYes(), // T isSuperTypeTo never - never is bottom type
+				TrinaryLogic::createMaybe(), // never isSuperTypeTo T - T could be never
+			],
+			25 => [
+				$templateType('T', new ObjectType('DateTime')),
+				new NeverType(),
+				TrinaryLogic::createYes(), // (T of DateTime) isSuperTypeTo *NEVER* - never is bottom type
+				TrinaryLogic::createMaybe(), // *NEVER* isSuperTypeTo (T of DateTime) - T could be never
+			],
+			26 => [
+				$templateType('T', new ObjectType('DateTime')),
+				new NonAcceptingNeverType(),
+				TrinaryLogic::createYes(), // (T of DateTime) isSuperTypeTo never - never is bottom type
+				TrinaryLogic::createMaybe(), // never isSuperTypeTo (T of DateTime) - T could be never
+			],
 		];
 	}