Stream: t-lang/wg-unsafe-code-guidelines

Topic: borrowing individual fields mutably from raw pointer rece...


RalfJ (Nov 05 2019 at 09:15, on Zulip):

yes, this is intended to work. your mutable refs are both derived from ptr, and the two mutable refs don't overlap.

RalfJ (Nov 05 2019 at 09:15, on Zulip):

I think I'll add this to Miri's test suite ;)

RalfJ (Nov 05 2019 at 09:15, on Zulip):

that said, Miri is not normative. so still remain as careful as you can.

Last update: Nov 20 2019 at 11:35UTC