Skip to content

IsSuperTypeOfResult: cache YES/NO/MAYBE #5011

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
staabm merged 3 commits into from
Feb 20, 2026
Merged

IsSuperTypeOfResult: cache YES/NO/MAYBE #5011

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
3332d36
IsSuperTypeOfResult: cache YES/NO/MAYBE
staabm Feb 20, 2026
d8ca221
cs
staabm Feb 20, 2026
7525809
cache createFromBoolean()
staabm Feb 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
18 changes: 15 additions & 3 deletions src/Type/IsSuperTypeOfResult.php
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,12 @@
final class IsSuperTypeOfResult
{

private static self $YES;

private static self $MAYBE;

private static self $NO;

/**
* @api
* @param list<string> $reasons Human-readable explanations of the type relationship
Expand Down Expand Up @@ -71,23 +77,29 @@ 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
{
return new self(TrinaryLogic::createFromBoolean($value), []);
if ($value === true) {
return self::createYes();
}
return self::createNo();
}

public function toAcceptsResult(): AcceptsResult
Expand Down
Loading