-
-
Notifications
You must be signed in to change notification settings - Fork 43
A Brief Discussion on Invariants in Rust: Essential Properties to Uphold #117
-
A Brief Discussion on Invariants in Rust: Essential Properties to Uphold
Whenever we discuss 'unsafe' in Rust, the concept of 'invariant' is never far behind. In the context of Rust, it generally refers to the properties that need to be upheld. For instance:
Given a x: bo
https://rustmagazine.org/issue-4/a-brief-discussion-on-invariants-in-rust/
Beta Was this translation helpful? Give feedback.
All reactions
-
👍 2
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment