Improve assert for contains / startsWith / endsWith

Author: kamil-zacek

src/Type/WebMozartAssert/AssertTypeSpecifyingExtension.php

@@ -754,18 +754,62 @@ private function getExpressionResolvers(): array
 						)
 					);
 				},
+				'contains' => static function (Scope $scope, Arg $value, Arg $subString): Expr {
+					return new BooleanAnd(
+						new FuncCall(
+							new Name('is_string'),
+							[$value]
+						),
+						new GreaterOrEqual(
+							new FuncCall(
+								new Name('strpos'),
+								[$value]
+							),
+							0
+						)
+					);
+				},
+				'startsWith' => static function (Scope $scope, Arg $value, Arg $subString): Expr {
+					return new BooleanAnd(
+						new FuncCall(
+							new Name('is_string'),
+							[$value]
+						),
+						new Identical(
+							new FuncCall(
+								new Name('strpos'),
+								[$value, $subString]
+							),
+							0
+						)
+					);
+				},
+				'endsWith' => static function (Scope $scope, Arg $value, Arg $subString): Expr {
+					return new BooleanAnd(
+						new FuncCall(
+							new Name('is_string'),
+							[$value]
+						),
+						new Identical(
+							new FuncCall(
+								new Name('strpos'),
+								[$value, $subString]
+							),
+							new BinaryOp\Minus(
+								new FuncCall(
+									new Name('strlen'),
+									[$value]
+								),
+								new FuncCall(
+									new Name('strlen'),
+									[$subString]
+								)
+							)
+						)
+					);
+				},
 			];
 
-			foreach (['contains', 'startsWith', 'endsWith'] as $name) {
-				$this->resolvers[$name] = function (Scope $scope, Arg $value, Arg $subString) use ($name): array {
-					if ($scope->getType($subString->value)->isNonEmptyString()->yes()) {
-						return self::createIsNonEmptyStringAndSomethingExprPair($name, [$value, $subString]);
-					}
-
-					return [$this->resolvers['string']($scope, $value), null];
-				};
-			}
-
 			$assertionsResultingAtLeastInNonEmptyString = [
 				'startsWithLetter',
 				'unicodeLetters',