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
[–] 6 points 6 months ago* (1 child)

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.

  • source
  • parent
  • hideshow 1 child comment