Borrow-checking without type-checking

Why it matters

Not an isolated event—borrowchecking has been trending in this direction. The without connection makes it particularly relevant.