Add "InvalidTemplateArgumentException" tests

Author: SerafimArts

tests/Exception/Definition/InvalidTemplateArgumentTest.php

@@ -0,0 +1,37 @@
+<?php
+
+declare(strict_types=1);
+
+namespace TypeLang\Mapper\Tests\Exception\Definition;
+
+use PHPUnit\Framework\Attributes\CoversClass;
+use PHPUnit\Framework\Attributes\Group;
+use PHPUnit\Framework\Attributes\TestDox;
+use TypeLang\Mapper\Exception\Definition\Template\InvalidTemplateArgumentException;
+use TypeLang\Parser\Node\Stmt\NamedTypeNode;
+use TypeLang\Parser\Node\Stmt\Template\TemplateArgumentNode;
+
+#[Group('exception')]
+#[CoversClass(InvalidTemplateArgumentException::class)]
+final class InvalidTemplateArgumentTest extends DefinitionExceptionTestCase
+{
+    #[TestDox('expected int<string>, passed int<T>')]
+    public function testInvalidArgumentGiven(): void
+    {
+        $this->expectException(InvalidTemplateArgumentException::class);
+        $this->expectExceptionMessage('Passed template argument #1 of type int<T> must be of type string, but T given');
+
+        $type = self::parse('int<T>');
+
+        assert($type instanceof NamedTypeNode);
+
+        $argument = $type->arguments?->first();
+        assert($argument instanceof TemplateArgumentNode);
+
+        throw InvalidTemplateArgumentException::becauseTemplateArgumentMustBe(
+            argument: $argument,
+            expected: new NamedTypeNode('string'),
+            type: $type,
+        );
+    }
+}

tests/Exception/Definition/TemplateArgumentHintsNotSupportedTest.php

@@ -8,7 +8,6 @@
 use PHPUnit\Framework\Attributes\Group;
 use PHPUnit\Framework\Attributes\TestDox;
 use TypeLang\Mapper\Exception\Definition\Template\Hint\TemplateArgumentHintsNotSupportedException;
-use TypeLang\Mapper\Type\Parser\TypeLangParser;
 use TypeLang\Parser\Node\Stmt\NamedTypeNode;
 use TypeLang\Parser\Node\Stmt\Template\TemplateArgumentNode;
 
@@ -25,10 +24,12 @@ public function testManyArgumentsPassedWithGenericType(): void
         $type = self::parse('int<out T>');
 
         assert($type instanceof NamedTypeNode);
-        assert($type->arguments->first() instanceof TemplateArgumentNode);
+
+        $argument = $type->arguments?->first();
+        assert($argument instanceof TemplateArgumentNode);
 
         throw TemplateArgumentHintsNotSupportedException::becauseTooManyHints(
-            argument: $type->arguments->first(),
+            argument: $argument,
             type: $type,
         );
     }
@@ -42,10 +43,12 @@ public function testManyArgumentsPassedWithBasicType(): void
         $type = self::parse('int<T>');
 
         assert($type instanceof NamedTypeNode);
-        assert($type->arguments->first() instanceof TemplateArgumentNode);
+
+        $argument = $type->arguments?->first();
+        assert($argument instanceof TemplateArgumentNode);
 
         throw TemplateArgumentHintsNotSupportedException::becauseTooManyHints(
-            argument: $type->arguments->first(),
+            argument: $argument,
             type: $type,
         );
     }