On Wednesday, 2 November 2022 at 22:01:24 UTC, Paul Backus wrote: > On Wednesday, 2 November 2022 at 19:17:10 UTC, Dukc wrote: >> >> Which is right here, the implementation or the spec? > > I'm inclined to say the implementation is right, since the code > does not actually violate memory safety. I'm going to assume that. Thanks.