Allow 'null' as a standalone type

Author: Girgias

Zend/tests/type_declarations/standalone_null.phpt

@@ -0,0 +1,16 @@
+--TEST--
+Null can be used as a standalone type
+--FILE--
+<?php
+
+function test(null $v): null {
+    return $v;
+}
+
+var_dump(test(null));
+
+?>
+===DONE===
+--EXPECT--
+NULL
+===DONE===

Zend/tests/type_declarations/typed_properties_110.phpt

@@ -0,0 +1,13 @@
+--TEST--
+Test typed properties allow null
+--FILE--
+<?php
+class Foo {
+    public null $value;
+}
+
+$foo = new Foo();
+?>
+===DONE===
+--EXPECT--
+===DONE===

Zend/tests/type_declarations/typed_return_null_false_without_value.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Typed null|false return without value generates compile-time error
+--FILE--
+<?php
+
+function test() : null|false {
+    return;
+}
+
+test();
+
+?>
+--EXPECTF--
+Fatal error: A function with return type must return a value (did you mean "return null;" instead of "return;"?) in %s on line %d

Zend/tests/type_declarations/typed_return_null_without_value.phpt

@@ -0,0 +1,14 @@
+--TEST--
+Typed null return without value generates compile-time error
+--FILE--
+<?php
+
+function test() : null {
+    return;
+}
+
+test();
+
+?>
+--EXPECTF--
+Fatal error: A function with return type must return a value (did you mean "return null;" instead of "return;"?) in %s on line %d

Zend/tests/type_declarations/union_types/null_false_union.phpt

@@ -0,0 +1,12 @@
+--TEST--
+Null and false can be used in a union type
+--FILE--
+<?php
+
+function test1(): null|false {}
+function test2(): false|null {}
+
+?>
+===DONE===
+--EXPECT--
+===DONE===

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

@@ -8,4 +8,4 @@ function test(): ?null {
 
 ?>
 --EXPECTF--
-Fatal error: Null cannot be used as a standalone type in %s on line %d
+Fatal error: null cannot be marked as nullable in %s on line %d

Zend/tests/type_declarations/union_types/standalone_false.phpt

@@ -7,4 +7,4 @@ function test(): false {}
 
 ?>
 --EXPECTF--
-Fatal error: False cannot be used as a standalone type in %s on line %d
+Fatal error: false cannot be used as a standalone type in %s on line %d

Zend/tests/type_declarations/union_types/standalone_false_implicit_nullability.phpt

@@ -0,0 +1,10 @@
+--TEST--
+False cannot be used as a standalone type even with implicit nullability
+--FILE--
+<?php
+
+function test(false $v = null) {}
+
+?>
+--EXPECTF--
+Fatal error: false cannot be used as a standalone type in %s on line %d

Zend/tests/type_declarations/union_types/standalone_null.phpt

@@ -1,10 +1,11 @@
 --TEST--
-Null cannot be used as a standalone type
+Null can be used as a standalone type
 --FILE--
 <?php
 
 function test(): null {}
 
 ?>
---EXPECTF--
-Fatal error: Null cannot be used as a standalone type in %s on line %d
+===DONE===
+--EXPECT--
+===DONE===

Zend/tests/type_declarations/union_types/standalone_nullable_false.phpt

@@ -7,4 +7,4 @@ function test(): ?false {}
 
 ?>
 --EXPECTF--
-Fatal error: False cannot be used as a standalone type in %s on line %d
+Fatal error: false cannot be marked as nullable since false is not a standalone type in %s on line %d