On Tuesday, 26 April 2022 at 22:16:15 UTC, rikki cattermole wrote:
Of course I still don't think that code is right and should have the casts.
Absolutely. I'm a bit anxious about "accidental VRP" now, not sure if the checks fluctuate from version to version, or worse, depends upon the platform.
