Borrow-checking without type-checking (by jamii) — discussion

#plt