Req #81268 [Opn]: intersection type incompatible with nullable props/returns

From: 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

« previous php.bugs (#235089) next »