2 ms·

Do you have a source/explanation for *role not being a mutable reference? What is this expression's type then? You mention ptr::write() but it is not used here

by remram 5y ago

Do you have a source/explanation for *role not being a mutable reference? What is this expression's type then? You mention ptr::write() but it is not used here, and I don't see how you could use it to write to a field?

gulbanana 5y ago
(*role) is not a reference at all, it is a value. its type is Role.
- remram 5y ago
  lvalue not mutable reference, got it. I'm surprised there are contexts where one is fine but the other is UB, but I understand the rule.