Type::allows() accepts Type

Author: dg

src/Utils/Type.php

@@ -233,13 +233,13 @@ public function isClassKeyword(): bool
 	/**
 	 * Verifies type compatibility. For example, it checks if a value of a certain type could be passed as a parameter.
 	 */
-	public function allows(string $type): bool
+	public function allows(string|self $type): bool
 	{
 		if ($this->types === ['mixed']) {
 			return true;
 		}
 
-		$type = self::fromString($type);
+		$type = is_string($type) ? self::fromString($type) : $type;
 		return $type->isUnion()
 			? Arrays::every($type->types, fn($t) => $this->allowsAny($t instanceof self ? $t->types : [$t]))
 			: $this->allowsAny($type->types);

tests/Utils/Type.allows.phpt

@@ -92,3 +92,10 @@ Assert::true($type->allows('Foo&Bar'));
 Assert::true($type->allows('FooChild&Bar'));
 Assert::true($type->allows('Foo&Bar&Baz'));
 Assert::true($type->allows('(Foo&Bar&Baz)|null'));
+
+
+// allows() with Type object
+$type = Type::fromString('string|int');
+Assert::true($type->allows(Type::fromString('string')));
+Assert::true($type->allows(Type::fromString('int')));
+Assert::false($type->allows(Type::fromString('bool')));