That's a bug ... that should throw ... Cheers Joe
On Fri, Jun 10, 2016 at 3:12 PM, Bob Weinand <bobw...@hotmail.com> wrote: > > Am 10.06.2016 um 16:00 schrieb Niklas Keller <m...@kelunik.com>: > > 2016-06-10 15:50 GMT+02:00 Bob Weinand <bobw...@hotmail.com>: > >> >> Am 10.6.2016 um 15:34 schrieb Niklas Keller <m...@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 >
