Req #81268 [Opn]: intersection type incompatible with nullable props/returns
| From: | girgias@php.net | Date: | Fri, 16 Jul 2021 15:14:14 +0000 |
| Subject: | Req #81268 [Opn]: intersection type incompatible with nullable props/returns | ||
| References: | 1 | Groups: | php.bugs |
| Request: | Send a blank email to php-bugs+get-235089@lists.php.net to get a copy of this message | ||
Edit report at https://bugs.php.net/bug.php?id=81268&edit=1
ID: 81268
Updated by: girgias@php.net
Reported by: nicolasgrekas@php.net
Summary: intersection type incompatible with nullable
props/returns
Status: Open
Type: Feature/Change Request
Package: Scripting Engine problem
PHP Version: 8.1Git-2021-07-16 (Git)
Block user comment: N
Private report: N
New Comment:
An intersection type cannot be part of a union, and nullable types are a form of union types, this
limitation is mentioned in the RFC, so you can't initialize the property to null, however the
error message needs to be clearer so this is part bug/part feature request.
I'll have a look at this next week.
Previous Comments:
------------------------------------------------------------------------
[2021-07-16 15:07:10] nicolasgrekas@php.net
Description:
------------
This code yields "Default value for property of type X&Y may not be null. Use the nullable
type ?X&Y to allow null default value":
class Test {
public X&Y $y = null;
}
Fine, let's add the suggested "?". But then I get "Parse error: syntax error,
unexpected token "&", expecting variable".
About returning null|intersection, should this be possible?
class Test {
function foo(): ?X&Y
{
return null;
}
}
Right now it yields a syntax error.
------------------------------------------------------------------------
--
Edit this bug report at https://bugs.php.net/bug.php?id=81268&edit=1