Fix CallableType's string type assumptions

ondrejmirtes · ondrejmirtes · commit 9a9f19380499 · 2021-08-24T15:02:38.000+02:00
diff --git a/src/Type/CallableType.php b/src/Type/CallableType.php
@@ -316,7 +316,12 @@ public function isNumericString(): TrinaryLogic
 
 	public function isNonEmptyString(): TrinaryLogic
 	{
-		return TrinaryLogic::createNo();
+		return TrinaryLogic::createMaybe();
+	}
+
+	public function isLiteralString(): TrinaryLogic
+	{
+		return TrinaryLogic::createMaybe();
 	}
 
 	public function isCommonCallable(): bool

Original file line number	Diff line number	Diff line change
`@@ -316,7 +316,12 @@ public function isNumericString(): TrinaryLogic`
`316`	`316`
`317`	`317`	`public function isNonEmptyString(): TrinaryLogic`
`318`	`318`	`{`
`319`		`- return TrinaryLogic::createNo();`
	`319`	`+ return TrinaryLogic::createMaybe();`
	`320`	`+ }`
	`321`	`+`
	`322`	`+ public function isLiteralString(): TrinaryLogic`
	`323`	`+ {`
	`324`	`+ return TrinaryLogic::createMaybe();`
`320`	`325`	`}`
`321`	`326`
`322`	`327`	`public function isCommonCallable(): bool`