Borrow-checking without type-checking