A Brief Discussion on Invariants in Rust: Essential Properties to Uphold #117
giscus[bot]
bot
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
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