> Am 10.06.2016 um 16:00 schrieb Niklas Keller <[email protected]>:
> 
> 2016-06-10 15:50 GMT+02:00 Bob Weinand <[email protected] 
> <mailto:[email protected]>>:
> 
>> Am 10.6.2016 um 15:34 schrieb Niklas Keller <[email protected] 
>> <mailto:[email protected]>>:
>> 
>>> 
>>> 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 
>> <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

Reply via email to