Modular Borrowing Without Ownership or Linear Types (via manuel) — discussion

#plt