Borrow-checking without type-checking - Tech Sentiments