Add UB tests

Author: SerafimArts

tests/Exception/Definition/InvalidTemplateArgumentTest.php

@@ -19,13 +19,13 @@ final class InvalidTemplateArgumentTest extends DefinitionExceptionTestCase
     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');
+        $this->expectExceptionMessage('Passed template argument #2 of type int<T, U> must be of type string, but U given');
 
-        $type = self::parse('int<T>');
+        $type = self::parse('int<T, U>');
 
         assert($type instanceof NamedTypeNode);
 
-        $argument = $type->arguments?->first();
+        $argument = $type->arguments?->last();
         assert($argument instanceof TemplateArgumentNode);
 
         throw InvalidTemplateArgumentException::becauseTemplateArgumentMustBe(
@@ -34,4 +34,23 @@ public function testInvalidArgumentGiven(): void
             type: $type,
         );
     }
+
+    #[TestDox('[undefined behaviour] all works if pass an non-node\'s argument')]
+    public function testOfNonOwnArgument(): void
+    {
+        $this->expectException(InvalidTemplateArgumentException::class);
+        $this->expectExceptionMessage('Passed template argument #0 of type another-type 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: self::parse('another-type'),
+        );
+    }
 }

tests/Exception/Definition/TemplateArgumentHintsNotSupportedTest.php

@@ -22,7 +22,6 @@ public function testManyArgumentsPassedWithGenericType(): void
         $this->expectExceptionMessage('Template argument #1 (T) of "int<out T>" does not support any hints, but "out" were passed');
 
         $type = self::parse('int<out T>');
-
         assert($type instanceof NamedTypeNode);
 
         $argument = $type->arguments?->first();
@@ -34,14 +33,31 @@ public function testManyArgumentsPassedWithGenericType(): void
         );
     }
 
+    #[TestDox('[undefined behaviour] all works if pass an non-node\'s argument')]
+    public function testOfNonOwnArgument(): void
+    {
+        $this->expectException(TemplateArgumentHintsNotSupportedException::class);
+        $this->expectExceptionMessage('Template argument #1 (T) of "another-type<out T>" does not support any hints, but "in" were passed');
+
+        $type = self::parse('int<in T>');
+        assert($type instanceof NamedTypeNode);
+
+        $argument = $type->arguments?->first();
+        assert($argument instanceof TemplateArgumentNode);
+
+        throw TemplateArgumentHintsNotSupportedException::becauseTooManyHints(
+            argument: $argument,
+            type: self::parse('another-type<out T>'),
+        );
+    }
+
     #[TestDox('[not applicable] expected int (0 arguments), passed int (0 arguments)')]
     public function testManyArgumentsPassedWithBasicType(): void
     {
         $this->skipIfAssertionsDisabled();
         $this->expectExceptionMessage('Incorrect exception usage');
 
         $type = self::parse('int<T>');
-
         assert($type instanceof NamedTypeNode);
 
         $argument = $type->arguments?->first();