php · Girgias · Sep 19, 2026 · Sep 19, 2026
diff --git a/Zend/tests/typehints/bug76198.phpt → .../type_declarations/iterable/bug76198.phpt b/Zend/tests/typehints/bug76198.phpt → .../type_declarations/iterable/bug76198.phpt
diff --git a/Zend/tests/typehints/bug43332_1.phpt → ...clarations/relative_types/bug43332_1.phpt b/Zend/tests/typehints/bug43332_1.phpt → ...clarations/relative_types/bug43332_1.phpt
@@ -1,5 +1,5 @@
 --TEST--
-Bug #43332.1 (self and parent as type hint in namespace)
+Bug #43332.1 (self and parent as type declaration in namespace)
 --FILE--
 <?php
 namespace foobar;

diff --git a/Zend/tests/typehints/bug43332_2.phpt → ...clarations/relative_types/bug43332_2.phpt b/Zend/tests/typehints/bug43332_2.phpt → ...clarations/relative_types/bug43332_2.phpt
@@ -1,5 +1,5 @@
 --TEST--
-Bug #43332.2 (self and parent as type hint in namespace)
+Bug #43332.2 (self and parent as type declaration in namespace)
 --FILE--
 <?php
 namespace foobar;

diff --git a/Zend/tests/typehints/bug60573.phpt → ...declarations/relative_types/bug60573.phpt b/Zend/tests/typehints/bug60573.phpt → ...declarations/relative_types/bug60573.phpt
@@ -1,5 +1,5 @@
 --TEST--
-Bug #60573 (type hinting with "self" keyword causes weird errors)
+Bug #60573 (type declaration with "self" keyword causes weird errors)
 --FILE--
 <?php
 class Foo1 {

diff --git a/Zend/tests/typehints/bug60573_2.phpt → ...clarations/relative_types/bug60573_2.phpt b/Zend/tests/typehints/bug60573_2.phpt → ...clarations/relative_types/bug60573_2.phpt
@@ -1,5 +1,5 @@
 --TEST--
-Bug #60573 (type hinting with "self" keyword causes weird errors) -- variation 2
+Bug #60573 (type declaration with "self" keyword causes weird errors) -- variation 2
 --FILE--
 <?php
 class Foo1 {

diff --git a/...ype_declarations/parent_is_not_proto.phpt → ...s/relative_types/parent_is_not_proto.phpt b/...ype_declarations/parent_is_not_proto.phpt → ...s/relative_types/parent_is_not_proto.phpt
diff --git a/...clarations/self_on_closure_in_method.phpt → ...tive_types/self_on_closure_in_method.phpt b/...clarations/self_on_closure_in_method.phpt → ...tive_types/self_on_closure_in_method.phpt
diff --git a/Zend/tests/type_declarations/relative_types/static/fully_qualified_static.phpt b/Zend/tests/type_declarations/relative_types/static/fully_qualified_static.phpt
@@ -0,0 +1,12 @@
+--TEST--
+Fully qualified (leading backslash) static type names must fail
+--DESCRIPTION--
+OSS-Fuzz: https://issues.oss-fuzz.com/issues/532353396
+--FILE--
+<?php
+
+function test($i): \static {}
+
+?>
+--EXPECTF--
+Fatal error: Type declaration 'static' must be unqualified in %s on line %d
diff --git a/Zend/tests/type_declarations/relative_types/static/namespace_relative_static.phpt b/Zend/tests/type_declarations/relative_types/static/namespace_relative_static.phpt
@@ -0,0 +1,12 @@
+--TEST--
+namespace\static is not a valid type declaration
+--DESCRIPTION--
+OSS-Fuzz: https://issues.oss-fuzz.com/issues/532353396
+--FILE--
+<?php
+
+function test($i): namespace\static {}
+
+?>
+--EXPECTF--
+Fatal error: Type declaration 'static' must be unqualified in %s on line %d
diff --git a/...larations/static_type_in_final_class.phpt → ...es/static/static_type_in_final_class.phpt b/...larations/static_type_in_final_class.phpt → ...es/static/static_type_in_final_class.phpt
diff --git a/...clarations/static_type_outside_class.phpt → ...pes/static/static_type_outside_class.phpt b/...clarations/static_type_outside_class.phpt → ...pes/static/static_type_outside_class.phpt
diff --git a/.../type_declarations/static_type_param.phpt → ...ative_types/static/static_type_param.phpt b/.../type_declarations/static_type_param.phpt → ...ative_types/static/static_type_param.phpt
diff --git a/...pe_declarations/static_type_property.phpt → ...ve_types/static/static_type_property.phpt b/...pe_declarations/static_type_property.phpt → ...ve_types/static/static_type_property.phpt
diff --git a/...type_declarations/static_type_return.phpt → ...tive_types/static/static_type_return.phpt b/...type_declarations/static_type_return.phpt → ...tive_types/static/static_type_return.phpt
diff --git a/.../type_declarations/static_type_trait.phpt → ...ative_types/static/static_type_trait.phpt b/.../type_declarations/static_type_trait.phpt → ...ative_types/static/static_type_trait.phpt
diff --git a/Zend/zend_compile.c b/Zend/zend_compile.c
@@ -272,6 +272,7 @@ static const builtin_type_info builtin_types[] = {
 	{ZEND_STRL("iterable"), IS_ITERABLE},
 	{ZEND_STRL("object"), IS_OBJECT},
 	{ZEND_STRL("mixed"), IS_MIXED},
+	{ZEND_STRL("static"), IS_STATIC},
 	{NULL, 0, IS_UNDEF}
 };
 
@@ -7100,6 +7101,8 @@ static zend_type zend_compile_single_typename(zend_ast *ast)
 					ZSTR_VAL(zend_string_tolower(type_name)));
 			}
 
+			ZEND_ASSERT(type_code != IS_STATIC && "unqualified static type should have been handled by ZEND_AST_TYPE branch");
+
 			/* Transform iterable into a type union alias */
 			if (type_code == IS_ITERABLE) {
 				/* Set iterable bit for BC compat during Reflection and string representation of type */