php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
Bug #77566 void type is not covariant to mixed
Submitted: 2019-02-04 14:27 UTC Modified: -
From: Wes dot nospam at example dot org Assigned:
Status: Open Package: *General Issues
PHP Version: Irrelevant OS: Irrelevant
Private report: No CVE-ID: None
View Add Comment Developer Edit
Welcome! If you don't have a Git account, you can't do anything here.
You can add a comment by following this link or if you reported this bug, you can edit this bug over here.
(description)
Block user comment
Status: Assign to:
Package:
Bug Type:
Summary:
From: Wes dot nospam at example dot org
New email:
PHP Version: OS:

 

 [2019-02-04 14:27 UTC] Wes dot nospam at example dot org
Description:
------------
Going from "has a return value" to "no return value" is certainly not a valid covariant substitution (at least in theory, in practice void is null).

The void RFC doesn't cover the case at all.

https://wiki.php.net/rfc/void_return_type

It is not unlikely that this is currently allowed by accident.

Thank you.


Test script:
---------------
<?php

class Foo
{
    public function aaa(){}
}

class Bar extends Foo
{
    public function aaa(): void{}
}

Expected result:
----------------
Error

Actual result:
--------------
No error

Patches

Add a Patch

Pull Requests

Add a Pull Request

 
PHP Copyright © 2001-2019 The PHP Group
All rights reserved.
Last updated: Sun Aug 25 00:01:26 2019 UTC