Add tests for non coercion

Author: Girgias

Zend/tests/type_declarations/literal_types/false_no_coercion.phpt

@@ -0,0 +1,28 @@
+--TEST--
+No coercion should be applied to type false
+--FILE--
+<?php
+
+function test(false $v) { var_dump($v); }
+
+try {
+    test(0);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+try {
+    test('');
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+try {
+    test([]);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+
+?>
+--EXPECT--
+test(): Argument #1 ($v) must be of type false, int given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/false_no_coercion.php on line 6
+test(): Argument #1 ($v) must be of type false, string given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/false_no_coercion.php on line 11
+test(): Argument #1 ($v) must be of type false, array given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/false_no_coercion.php on line 16

Zend/tests/type_declarations/union_types/standalone_false.phpt renamed to Zend/tests/type_declarations/literal_types/false_standalone.phpt

@@ -0,0 +1,34 @@
+--TEST--
+No coercion should be applied to type true
+--FILE--
+<?php
+
+function test(true $v) { var_dump($v); }
+
+try {
+    test(1);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+try {
+    test('1');
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+try {
+    test([1]);
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+try {
+    test(new stdClass());
+} catch (\TypeError $e) {
+    echo $e->getMessage(), \PHP_EOL;
+}
+
+?>
+--EXPECT--
+test(): Argument #1 ($v) must be of type true, int given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/true_no_coercion.php on line 6
+test(): Argument #1 ($v) must be of type true, string given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/true_no_coercion.php on line 11
+test(): Argument #1 ($v) must be of type true, array given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/true_no_coercion.php on line 16
+test(): Argument #1 ($v) must be of type true, stdClass given, called in /home/girgias/Dev/php-src/Zend/tests/type_declarations/literral_types/true_no_coercion.php on line 21

Zend/tests/type_declarations/union_types/standalone_false_implicit_nullability.phpt renamed to Zend/tests/type_declarations/literal_types/false_standalone_implicit_nullability.phpt

@@ -0,0 +1,11 @@
+--TEST--
+true can be used as a standalone type even with implicit nullability
+--FILE--
+<?php
+
+function test(true $v = null) {}
+
+?>
+===DONE===
+--EXPECT--
+===DONE===