submitted 3 weeks ago* (last edited 3 weeks ago) by ISO@lemmy.zip to c/rust@programming.dev

8 comments fedilink hide all child comments

I checked some of the issues out, and this looks legit. Although a good chuck relates to obscure platform abstractions.

you are viewing a single comment's thread
view the rest of the comments

[-] Quantenteilchen@discuss.tchncs.de 6 points 3 weeks ago* (last edited 3 weeks ago)

I am not an expert but I think the actual problem is in the slice::iter first getting an immutable reference to the underlying data with self.0.next() before mapping it into a UserRef<T> which is instant UB because a &T guarantees exclusivity while UserRef<T> explicitly states in its contract that it does not guarantee anything like that, even if mutably borrowed.

So in essence the problem, as I understood it, is in the step from slice -> reference to value -> User ref of value with the italic part being illegal.