Closed ldm0 closed 1 year ago
Thanks for the submission! Unfortunately I don't think this is correct: you can't have a &T
at any step and then turn it into a &mut T
.
I'll try fixing this, and also adding a miri check to ensure that it is correct.
Going to close this in favor of https://github.com/camino-rs/camino/pull/59. Thanks again!
fixes #57