Nikita Popov e72bf63691 Allow variadic arguments to replace non-variadic ones ...

Any number of arguments can be replaced by a variadic one, so
long as the variadic argument is compatible (in the sense of
contravariance) with the subsumed arguments.

In particular this means that function(...$args) becomes a
near-universal signature: It is compatible with any function
signature that does not accept parameters by-reference.

This also fixes bug #70839, which describes a special case.

Closes GH-5059.

2020-01-23 15:23:31 +01:00

..

adding_additional_optional_parameter_error.phpt

…

adding_additional_optional_parameter.phpt

…

basic.phpt

…

by_ref_error.phpt

…

by_ref.phpt

…

closure_invoke.phpt

…

illegal_variadic_override_ref.phpt

Allow variadic arguments to replace non-variadic ones

2020-01-23 15:23:31 +01:00

illegal_variadic_override_type.phpt

Allow variadic arguments to replace non-variadic ones

2020-01-23 15:23:31 +01:00

legal_variadic_override.phpt

Allow variadic arguments to replace non-variadic ones

2020-01-23 15:23:31 +01:00

no_default_error.phpt

…

non_variadic_implements_variadic_error.phpt

…

only_last_error.phpt

…

optional_params.phpt

…

removing_parameter_error.phpt

Allow variadic arguments to replace non-variadic ones

2020-01-23 15:23:31 +01:00

typehint_error.phpt

…

typehint_suppressed_error.phpt

…

variadic_changed_byref_error.phpt

…

variadic_changed_typehint_error.phpt

…

variadic_implements_non_variadic.phpt

…