`Borrow` and `Inout` types for safe, first-class references

Last month, @John_McCall was still considering whether Inout<T> was needed:

As someone trying to come up to speed with exclusive ownership, the fact that the language would admit something like inout Inout<Borrow<T>> makes me anxious. It seems to add so many dimensions to the ownership space that I will never feel confident that I have chosen the right mix of modifiers and wrapper types.

7 Likes