Rust Internals
Why even unused data needs to be valid
language design
notriddle
Split this topic
July 18, 2020, 12:34am
13
10 posts were split to a new topic:
Terminology around unsafe, undefined behaviour, and invariants
show post in topic
Related Topics
Topic
Replies
Views
Activity
Terminology around unsafe, undefined behaviour, and invariants
Unsafe Code Guidelines
39
2723
July 24, 2020
Make invalid primitive values that are not read valid
7
1875
March 25, 2019
Two Kinds of Invariants: Safety and Validity
Unsafe Code Guidelines
27
5279
March 25, 2019
Overflow checks and unsafe code
Unsafe Code Guidelines
10
1653
March 25, 2019
Idea: a path toward reducing the need for `unsafe` by making invariant machine checkable
language design
11
1295
April 15, 2023