← Back to context Comment by steveklabnik 1 day ago (Miri is not static analysis) 4 comments steveklabnik Reply throwawaymaths 1 day ago thats besides the point. its a unit outside of the compiler that exists to give you extra safety checks. steveklabnik 1 day ago Yes, I do agree that it doesn't change the shape of things, I was just trying to clarify a little detail, not say that you're incorrect. I have my own feelings about this but they're not super straightforward. throwawaymaths 1 day ago thanks for clarifying.
throwawaymaths 1 day ago thats besides the point. its a unit outside of the compiler that exists to give you extra safety checks. steveklabnik 1 day ago Yes, I do agree that it doesn't change the shape of things, I was just trying to clarify a little detail, not say that you're incorrect. I have my own feelings about this but they're not super straightforward. throwawaymaths 1 day ago thanks for clarifying.
steveklabnik 1 day ago Yes, I do agree that it doesn't change the shape of things, I was just trying to clarify a little detail, not say that you're incorrect. I have my own feelings about this but they're not super straightforward. throwawaymaths 1 day ago thanks for clarifying.
thats besides the point. its a unit outside of the compiler that exists to give you extra safety checks.
Yes, I do agree that it doesn't change the shape of things, I was just trying to clarify a little detail, not say that you're incorrect. I have my own feelings about this but they're not super straightforward.
thanks for clarifying.