--TEST--
Scalar type - default via constants
--FILE--
<?php

const INT_VAL = 10;
const FLOAT_VAL = 10.5;
const STRING_VAL = "this is a test";
const INT_ADD_VAL = 10 + 15;
const FLOAT_ADD_VAL = 10.5 + 0.2;
const STRING_ADD_VAL = "this" . " is a test";
const NULL_VAL = null;

function int_val(int $a = INT_VAL): int {
    return $a;
}

function float_val(float $a = FLOAT_VAL): float {
    return $a;
}

function string_val(string $a = STRING_VAL): string {
    return $a;
}

function int_add_val(int $a = INT_ADD_VAL): int {
    return $a;
}

function float_add_val(float $a = FLOAT_ADD_VAL): float {
    return $a;
}

function string_add_val(string $a = STRING_ADD_VAL): string {
    return $a;
}

function int_val_default_null(int $a = NULL_VAL) {
    return $a;
}

function nullable_int_val_default_null(?int $a = NULL_VAL) {
    return $a;
}

echo "Testing int val" . PHP_EOL;
var_dump(int_val());

echo "Testing float val" . PHP_EOL;
var_dump(float_val());

echo "Testing string val" . PHP_EOL;
var_dump(string_val());

echo "Testing int add val" . PHP_EOL;
var_dump(int_add_val());

echo "Testing float add val" . PHP_EOL;
var_dump(float_add_val());

echo "Testing string add val" . PHP_EOL;
var_dump(string_add_val());

echo "Testing int with default null constant" . PHP_EOL;
try {
    var_dump(int_val_default_null());
} catch (TypeError $e) {
    echo $e->getMessage(), "\n";
}

echo "Testing int with null null constant" . PHP_EOL;
try {
    var_dump(int_val_default_null(null));
} catch (TypeError $e) {
    echo $e->getMessage(), "\n";
}

echo "Testing nullable int with default null constant" . PHP_EOL;
var_dump(nullable_int_val_default_null());

echo "Testing nullable int with null null constant" . PHP_EOL;
var_dump(nullable_int_val_default_null(null));

?>
--EXPECTF--
Testing int val
int(10)
Testing float val
float(10.5)
Testing string val
string(14) "this is a test"
Testing int add val
int(25)
Testing float add val
float(10.7)
Testing string add val
string(14) "this is a test"
Testing int with default null constant
int_val_default_null(): Argument #1 ($a) must be of type int, null given, called in %s on line %d
Testing int with null null constant
int_val_default_null(): Argument #1 ($a) must be of type int, null given, called in %s on line %d
Testing nullable int with default null constant
NULL
Testing nullable int with null null constant
NULL