Borrowed

Marks a nominal value as a non-owning view for lowering and drop analysis.

Borrowed conformers do not recursively destroy referenced storage and are restricted from escaping into ownership positions that outlive their source. This is a compiler-recognized marker, not a protocol with runtime methods.