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

[Alejandro (Alejandro Alonso)]

@fclout

The proposal explains that some types, like InlineArray, can be addressable-for-dependencies. However, I don’t see a discussion of the ABI implications of that. How does the compiler infer that a structure is addressable-for-dependencies?

The compiler does not infer addressable-for-dependencies at all; it is another underscored attribute we introduced specifically for InlineArray (InlineArray.span) and String (String.utf8Span).

@fclout

If I add a small InlineArray to a resilient struct, am I potentially changing how it needs to be passed by borrow?

No, resilient structs are always passed opaquely by address already, so adding an InlineArray or String does not affect how it gets passed.