IsSuperTypeOfResult: cache YES/NO/MAYBE

Author: staabm

src/Type/IsSuperTypeOfResult.php

@@ -30,6 +30,12 @@
  */
 final class IsSuperTypeOfResult
 {
+	private static self $YES;
+
+	private static self $MAYBE;
+
+	private static self $NO;
+
 
 	/**
 	 * @api
@@ -71,18 +77,21 @@ public function no(): bool
 
 	public static function createYes(): self
 	{
-		return new self(TrinaryLogic::createYes(), []);
+		return self::$YES ??= new self(TrinaryLogic::createYes(), []);
 	}
 
 	/** @param list<string> $reasons */
 	public static function createNo(array $reasons = []): self
 	{
+		if ($reasons === []) {
+			return self::$NO ??=  new self(TrinaryLogic::createNo(), $reasons);
+		}
 		return new self(TrinaryLogic::createNo(), $reasons);
 	}
 
 	public static function createMaybe(): self
 	{
-		return new self(TrinaryLogic::createMaybe(), []);
+		return self::$MAYBE ??= new self(TrinaryLogic::createMaybe(), []);
 	}
 
 	public static function createFromBoolean(bool $value): self