top | item 26448370 (no title) jblow | 5 years ago Sure, but you are still going to be constrained greatly in terms of what those allocators are able to do, are you not? discuss order hn newest steveklabnik|5 years ago In what way? What kind of constraints are you imagining here? jblow|5 years ago I guess I am confused by the question. The job of the borrow checker is to constrain what you are allowed to do, and it's well-understood that it constrains you to a subset of correct programs, so that you stay in a realm that is analyzable. load replies (1)
steveklabnik|5 years ago In what way? What kind of constraints are you imagining here? jblow|5 years ago I guess I am confused by the question. The job of the borrow checker is to constrain what you are allowed to do, and it's well-understood that it constrains you to a subset of correct programs, so that you stay in a realm that is analyzable. load replies (1)
jblow|5 years ago I guess I am confused by the question. The job of the borrow checker is to constrain what you are allowed to do, and it's well-understood that it constrains you to a subset of correct programs, so that you stay in a realm that is analyzable. load replies (1)
steveklabnik|5 years ago
jblow|5 years ago