Disallow nullable mixed types at compile time

Majkl578 · Majkl578 · commit e6921a971146 · 2017-12-19T03:37:13.000+01:00
diff --git a/Zend/tests/typehints/mixed_nullable_parameter.phpt b/Zend/tests/typehints/mixed_nullable_parameter.phpt
@@ -0,0 +1,10 @@
+--TEST--
+Test nullable mixed parameter type.
+--FILE--
+<?php
+
+function test(?mixed $arg) {
+}
+
+--EXPECTF--
+Fatal error: Mixed type cannot be nullable in %smixed_nullable_parameter.php on line %d
diff --git a/Zend/tests/typehints/mixed_nullable_return.phpt b/Zend/tests/typehints/mixed_nullable_return.phpt
@@ -0,0 +1,10 @@
+--TEST--
+Test nullable mixed return type.
+--FILE--
+<?php
+
+function test($arg): ?mixed {
+}
+
+--EXPECTF--
+Fatal error: Mixed type cannot be nullable in %smixed_nullable_return.php on line %d
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
@@ -5494,6 +5494,10 @@ void zend_compile_params(zend_ast *ast, zend_ast *return_type_ast) /* {{{ */
 			zend_error_noreturn(E_COMPILE_ERROR, "Void type cannot be nullable");
 		}
 
+		if (ZEND_TYPE_CODE(arg_infos->type) == IS_MIXED && ZEND_TYPE_ALLOW_NULL(arg_infos->type)) {
+			zend_error_noreturn(E_COMPILE_ERROR, "Mixed type cannot be nullable");
+		}
+
 		arg_infos++;
 		op_array->fn_flags |= ZEND_ACC_HAS_RETURN_TYPE;
 	} else {
@@ -5589,6 +5593,10 @@ void zend_compile_params(zend_ast *ast, zend_ast *return_type_ast) /* {{{ */
 				zend_error_noreturn(E_COMPILE_ERROR, "void cannot be used as a parameter type");
 			}
 
+			if (ZEND_TYPE_CODE(arg_info->type) == IS_MIXED && ZEND_TYPE_ALLOW_NULL(arg_info->type)) {
+				zend_error_noreturn(E_COMPILE_ERROR, "Mixed type cannot be nullable");
+			}
+
 			if (type_ast->kind == ZEND_AST_TYPE) {
 				if (ZEND_TYPE_CODE(arg_info->type) == IS_ARRAY) {
 					if (default_ast && !has_null_default
