Newsgroups: php.internals
Path: news.php.net
Xref: news.php.net php.internals:93871
Mailing-List: contact internals-help@lists.php.net; run by ezmlm
Received-SPF: error (pb1.pair.com: domain pthreads.org from 209.85.213.51 cause and error)
MIME-Version: 1.0
In-Reply-To: <BLU436-SMTP892B39F5E079F61E6B6B43E2500@phx.gbl>
References: <CAL=_i_ndnBUEHUcNxPJxxkhZ70jM4xE-xkjuftWpHHNSKMchOA@mail.gmail.com>
	<CADyq6sJ0LQuia0PfcXAPGRuZk=rd2V01+gT0Z=wr3B=b0Ei==A@mail.gmail.com>
	<CANUQDCh9yJ+j648APkTZRsFep_f-3R3AGS9YodD20EdrUMc_Hw@mail.gmail.com>
	<CADyq6s+4i6ZRL1ow2Jk5EXoqqNv3K2FFuoNQ+G4BVwV=0aENLA@mail.gmail.com>
	<CANUQDCjsM=wVeSMQayvXpVjDrcF-RaJ3K0wRkDy115C3Vm8pjg@mail.gmail.com>
	<BLU437-SMTP749B9161B56CD76709CC68E2500@phx.gbl>
	<CANUQDCi1myjRQ29NMB3SO=6syYY9ALRvX3uziZEgR=dhq1K0-w@mail.gmail.com>
	<BLU436-SMTP892B39F5E079F61E6B6B43E2500@phx.gbl>
Date: Fri, 10 Jun 2016 15:42:32 +0100
Message-ID: <CAL=_i_=E7gmgeQ2ZtZhXAvK3L3TRkm0D8M7DTOEgeBFA31HE1g@mail.gmail.com>
To: Bob Weinand <bobwei9@hotmail.com>
Cc: Niklas Keller <me@kelunik.com>, Marco Pivetta <ocramius@gmail.com>, 
	Philip Sturgeon <pjsturgeon@gmail.com>, PHP internals <internals@lists.php.net>
Content-Type: multipart/alternative; boundary=001a1143ebba7c9ac60534ed8c5c
Subject: Re: [PHP-DEV] [RFC][Vote] Typed Properties
From: pthreads@pthreads.org (Joe Watkins)

--001a1143ebba7c9ac60534ed8c5c
Content-Type: text/plain; charset=UTF-8

That's a bug ... that should throw ...

Cheers
Joe

On Fri, Jun 10, 2016 at 3:12 PM, Bob Weinand <bobwei9@hotmail.com> wrote:

>
> Am 10.06.2016 um 16:00 schrieb Niklas Keller <me@kelunik.com>:
>
> 2016-06-10 15:50 GMT+02:00 Bob Weinand <bobwei9@hotmail.com>:
>
>>
>> Am 10.6.2016 um 15:34 schrieb Niklas Keller <me@kelunik.com>:
>>
>>
>> Top-posting, since I'm taking off now.
>>
>> From outside the class, properties are not visible at all, so their types
>> are un-important from outer scopes.
>>
>> echo $foo->bar; is not the same in instance method body or outside of the
>> class.
>>
>> From outside it works just fine and doesn't throw:
>> https://3v4l.org/L8CqF/rfc#rfc-typed_properties
>>
>>
>> This is an intermittent bug in the implementation.
>> the RFC is explicitly mentioning that it should throw and throwing also
>> is the correct behavior here.
>>
>
> I don't think this is and should be a bug. I think it is the right
> behavior if we choose to throw at all.
>
>
> In this case a definite -1 on the RFC from me. I don't want "surprises"
> regarding the type if a property is declared to return a certain type.
>
> Bob
>

--001a1143ebba7c9ac60534ed8c5c--