bool "must" be used instead. (php#14287)

Author: divinity76

Zend/tests/type_declarations/union_types/redundant_types/bool_instead_false_and_true.phpt

@@ -8,4 +8,4 @@ function test(): false|true {
 
 ?>
 --EXPECTF--
-Fatal error: Type contains both true and false, bool should be used instead in %s on line %d
+Fatal error: Type contains both true and false, bool must be used instead in %s on line %d

Zend/tests/type_declarations/union_types/redundant_types/bool_instead_true_and_false.phpt

@@ -8,4 +8,4 @@ function test(): true|false {
 
 ?>
 --EXPECTF--
-Fatal error: Type contains both true and false, bool should be used instead in %s on line %d
+Fatal error: Type contains both true and false, bool must be used instead in %s on line %d

Zend/zend_compile.c

@@ -6852,7 +6852,7 @@ static zend_type zend_compile_typename_ex(
 			if ( ((type_mask & MAY_BE_TRUE) && (single_type_mask == MAY_BE_FALSE))
 					|| ((type_mask & MAY_BE_FALSE) && (single_type_mask == MAY_BE_TRUE)) ) {
 				zend_error_noreturn(E_COMPILE_ERROR,
-					"Type contains both true and false, bool should be used instead");
+					"Type contains both true and false, bool must be used instead");
 			}
 			ZEND_TYPE_FULL_MASK(type) |= ZEND_TYPE_PURE_MASK(single_type);
 			ZEND_TYPE_FULL_MASK(single_type) &= ~_ZEND_TYPE_MAY_BE_MASK;