consider I have a tuple tup = (u8, u8) then in two seperate code paths i do:

1. &mut tup.1
2. &raw mut tup.1

what provence do they have under stacked borrows? what about tree borrows?

my initial guess would be that the ref narrows the provenance to only that field, while the raw pointer maintains provenance over the entire tuple. is this correct?

1 post - 1 participant

Read full topic