Try a mutant

VincentLanglet · VincentLanglet · commit 6cb52a2049cf · 2025-12-05T15:15:14.000+01:00
diff --git a/src/Type/ValueOfType.php b/src/Type/ValueOfType.php
@@ -55,7 +55,7 @@ protected function getResult(): Type
 			if (
 				$enumCases === []
 				&& $this->type instanceof TemplateType
-				&& (new ObjectType('BackedEnum'))->isSuperTypeOf($this->type->getBound())->yes()
+				&& !(new ObjectType('BackedEnum'))->isSuperTypeOf($this->type->getBound())->no()
 			) {
 				return new UnionType([new IntegerType(), new StringType()]);
 			}

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,7 @@ protected function getResult(): Type`
`55`	`55`	`if (`
`56`	`56`	`$enumCases === []`
`57`	`57`	`&& $this->type instanceof TemplateType`
`58`		`- && (new ObjectType('BackedEnum'))->isSuperTypeOf($this->type->getBound())->yes()`
	`58`	`+ && !(new ObjectType('BackedEnum'))->isSuperTypeOf($this->type->getBound())->no()`
`59`	`59`	`) {`
`60`	`60`	`return new UnionType([new IntegerType(), new StringType()]);`
`61`	`61`	`}`