2 ms·

(Miri is not static analysis)

• deleted 2y ago
  [deleted]
• throwawaymaths 2y ago
  thats besides the point. its a unit outside of the compiler that exists to give you extra safety checks.
  • steveklabnik 2y 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 2y ago
      thanks for clarifying.