On Mon, 13 Jul 2020 at 22:32, Olle Härstedt <olleharst...@gmail.com> wrote:
> In the end I need uniqueness (non-aliasing) to finish my series of > patches about typestate and type-safe builders to Psalm, but I guess I > can live without any runtime representation of this, or just suffer > the hack I already did with zval dump. > I think this kind of thing is probably best left to static analysis anyway. PHP ends up doing much more checking at run-time than most languages because it has no official static analyser, and no build step where static analysis can be mandatory. But in the end what you're trying to catch here is programmer mistakes, not unexpected run-time behaviour. Regards, -- Rowan Tommins [IMSoP]
