add Type::isError method

canvural · canvural · commit 2c9b692c1734 · 2025-11-06T17:20:36.000+01:00
diff --git a/src/Type/Accessory/AccessoryArrayListType.php b/src/Type/Accessory/AccessoryArrayListType.php
@@ -424,6 +424,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/Accessory/AccessoryLiteralStringType.php b/src/Type/Accessory/AccessoryLiteralStringType.php
@@ -332,6 +332,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/AccessoryLowercaseStringType.php b/src/Type/Accessory/AccessoryLowercaseStringType.php
@@ -329,6 +329,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/AccessoryNonEmptyStringType.php b/src/Type/Accessory/AccessoryNonEmptyStringType.php
@@ -327,6 +327,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/AccessoryNonFalsyStringType.php b/src/Type/Accessory/AccessoryNonFalsyStringType.php
@@ -327,6 +327,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/AccessoryNumericStringType.php b/src/Type/Accessory/AccessoryNumericStringType.php
@@ -332,6 +332,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/AccessoryUppercaseStringType.php b/src/Type/Accessory/AccessoryUppercaseStringType.php
@@ -329,6 +329,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createYes();
diff --git a/src/Type/Accessory/HasOffsetType.php b/src/Type/Accessory/HasOffsetType.php
@@ -342,6 +342,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();
diff --git a/src/Type/Accessory/HasOffsetValueType.php b/src/Type/Accessory/HasOffsetValueType.php
@@ -421,6 +421,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createMaybe();
diff --git a/src/Type/Accessory/NonEmptyArrayType.php b/src/Type/Accessory/NonEmptyArrayType.php
@@ -410,6 +410,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/Accessory/OversizedArrayType.php b/src/Type/Accessory/OversizedArrayType.php
@@ -394,6 +394,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/CallableType.php b/src/Type/CallableType.php
@@ -624,6 +624,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return new ObjectWithoutClassType();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/ClosureType.php b/src/Type/ClosureType.php
@@ -796,6 +796,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this;
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/ErrorType.php b/src/Type/ErrorType.php
@@ -2,6 +2,8 @@
 
 namespace PHPStan\Type;
 
+use PHPStan\TrinaryLogic;
+
 /** @api */
 class ErrorType extends MixedType
 {
@@ -36,6 +38,11 @@ public function subtract(Type $type): Type
 		return new self();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createYes();
+	}
+
 	public function equals(Type $type): bool
 	{
 		return $type instanceof self;
diff --git a/src/Type/FloatType.php b/src/Type/FloatType.php
@@ -266,6 +266,11 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createYes();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return new BooleanType();
diff --git a/src/Type/IntersectionType.php b/src/Type/IntersectionType.php
@@ -786,6 +786,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this->intersectTypes(static fn (Type $type): Type => $type->getObjectTypeOrClassStringObjectType());
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isError());
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return $this->intersectResults(static fn (Type $type): TrinaryLogic => $type->isVoid());
diff --git a/src/Type/IterableType.php b/src/Type/IterableType.php
@@ -406,6 +406,11 @@ public function isVoid(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isScalar(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/JustNullableTypeTrait.php b/src/Type/JustNullableTypeTrait.php
@@ -164,6 +164,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return new ErrorType();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/MixedType.php b/src/Type/MixedType.php
@@ -1065,6 +1065,17 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createMaybe();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		if ($this->subtractedType !== null) {
+			if ($this->subtractedType->isSuperTypeOf(new ErrorType())->yes()) {
+				return TrinaryLogic::createNo();
+			}
+		}
+
+		return TrinaryLogic::createMaybe();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return new BooleanType();
diff --git a/src/Type/NeverType.php b/src/Type/NeverType.php
@@ -548,6 +548,11 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return new BooleanType();
diff --git a/src/Type/NullType.php b/src/Type/NullType.php
@@ -335,6 +335,11 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		if ($type instanceof ConstantScalarType) {
diff --git a/src/Type/ObjectType.php b/src/Type/ObjectType.php
@@ -1317,6 +1317,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this;
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/StaticType.php b/src/Type/StaticType.php
@@ -659,6 +659,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this;
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return $this->getStaticObjectType()->isError();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return $this->getStaticObjectType()->isVoid();
diff --git a/src/Type/StrictMixedType.php b/src/Type/StrictMixedType.php
@@ -330,6 +330,11 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return new BooleanType();
diff --git a/src/Type/Traits/ArrayTypeTrait.php b/src/Type/Traits/ArrayTypeTrait.php
@@ -179,6 +179,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return new ErrorType();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/Traits/LateResolvableTypeTrait.php b/src/Type/Traits/LateResolvableTypeTrait.php
@@ -523,6 +523,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this->resolve()->getObjectTypeOrClassStringObjectType();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return $this->resolve()->isError();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return $this->resolve()->isVoid();
diff --git a/src/Type/Traits/ObjectTypeTrait.php b/src/Type/Traits/ObjectTypeTrait.php
@@ -265,6 +265,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this;
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return TrinaryLogic::createNo();
diff --git a/src/Type/Type.php b/src/Type/Type.php
@@ -292,6 +292,8 @@ public function isVoid(): TrinaryLogic;
 
 	public function isScalar(): TrinaryLogic;
 
+	public function isError(): TrinaryLogic;
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType;
 
 	public function getSmallerType(PhpVersion $phpVersion): Type;
diff --git a/src/Type/UnionType.php b/src/Type/UnionType.php
@@ -732,6 +732,11 @@ public function getObjectTypeOrClassStringObjectType(): Type
 		return $this->unionTypes(static fn (Type $type): Type => $type->getObjectTypeOrClassStringObjectType());
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->isError());
+	}
+
 	public function isVoid(): TrinaryLogic
 	{
 		return $this->unionResults(static fn (Type $type): TrinaryLogic => $type->isVoid());
diff --git a/src/Type/VoidType.php b/src/Type/VoidType.php
@@ -239,6 +239,11 @@ public function isScalar(): TrinaryLogic
 		return TrinaryLogic::createNo();
 	}
 
+	public function isError(): TrinaryLogic
+	{
+		return TrinaryLogic::createNo();
+	}
+
 	public function looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
 	{
 		return new BooleanType();

Original file line number	Diff line number	Diff line change
`@@ -424,6 +424,11 @@ public function isVoid(): TrinaryLogic`
`424`	`424`	`return TrinaryLogic::createNo();`
`425`	`425`	`}`
`426`	`426`
	`427`	`+ public function isError(): TrinaryLogic`
	`428`	`+ {`
	`429`	`+ return TrinaryLogic::createNo();`
	`430`	`+ }`
	`431`	`+`
`427`	`432`	`public function isScalar(): TrinaryLogic`
`428`	`433`	`{`
`429`	`434`	`return TrinaryLogic::createNo();`
Original file line number	Diff line number	Diff line change
`@@ -332,6 +332,11 @@ public function isVoid(): TrinaryLogic`
`332`	`332`	`return TrinaryLogic::createNo();`
`333`	`333`	`}`
`334`	`334`
	`335`	`+ public function isError(): TrinaryLogic`
	`336`	`+ {`
	`337`	`+ return TrinaryLogic::createNo();`
	`338`	`+ }`
	`339`	`+`
`335`	`340`	`public function isScalar(): TrinaryLogic`
`336`	`341`	`{`
`337`	`342`	`return TrinaryLogic::createYes();`
Original file line number	Diff line number	Diff line change
`@@ -329,6 +329,11 @@ public function isVoid(): TrinaryLogic`
`329`	`329`	`return TrinaryLogic::createNo();`
`330`	`330`	`}`
`331`	`331`
	`332`	`+ public function isError(): TrinaryLogic`
	`333`	`+ {`
	`334`	`+ return TrinaryLogic::createNo();`
	`335`	`+ }`
	`336`	`+`
`332`	`337`	`public function isScalar(): TrinaryLogic`
`333`	`338`	`{`
`334`	`339`	`return TrinaryLogic::createYes();`
Original file line number	Diff line number	Diff line change
`@@ -327,6 +327,11 @@ public function isVoid(): TrinaryLogic`
`327`	`327`	`return TrinaryLogic::createNo();`
`328`	`328`	`}`
`329`	`329`
	`330`	`+ public function isError(): TrinaryLogic`
	`331`	`+ {`
	`332`	`+ return TrinaryLogic::createNo();`
	`333`	`+ }`
	`334`	`+`
`330`	`335`	`public function isScalar(): TrinaryLogic`
`331`	`336`	`{`
`332`	`337`	`return TrinaryLogic::createYes();`
Original file line number	Diff line number	Diff line change
`@@ -342,6 +342,11 @@ public function isVoid(): TrinaryLogic`
`342`	`342`	`return TrinaryLogic::createNo();`
`343`	`343`	`}`
`344`	`344`
	`345`	`+ public function isError(): TrinaryLogic`
	`346`	`+ {`
	`347`	`+ return TrinaryLogic::createNo();`
	`348`	`+ }`
	`349`	`+`
`345`	`350`	`public function isScalar(): TrinaryLogic`
`346`	`351`	`{`
`347`	`352`	`return TrinaryLogic::createMaybe();`
Original file line number	Diff line number	Diff line change
`@@ -421,6 +421,11 @@ public function isVoid(): TrinaryLogic`
`421`	`421`	`return TrinaryLogic::createNo();`
`422`	`422`	`}`
`423`	`423`
	`424`	`+ public function isError(): TrinaryLogic`
	`425`	`+ {`
	`426`	`+ return TrinaryLogic::createNo();`
	`427`	`+ }`
	`428`	`+`
`424`	`429`	`public function isScalar(): TrinaryLogic`
`425`	`430`	`{`
`426`	`431`	`return TrinaryLogic::createMaybe();`
Original file line number	Diff line number	Diff line change
`@@ -410,6 +410,11 @@ public function isVoid(): TrinaryLogic`
`410`	`410`	`return TrinaryLogic::createNo();`
`411`	`411`	`}`
`412`	`412`
	`413`	`+ public function isError(): TrinaryLogic`
	`414`	`+ {`
	`415`	`+ return TrinaryLogic::createNo();`
	`416`	`+ }`
	`417`	`+`
`413`	`418`	`public function isScalar(): TrinaryLogic`
`414`	`419`	`{`
`415`	`420`	`return TrinaryLogic::createNo();`