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
Two Kinds of Invariants: Safety and Validity
Unsafe Code Guidelines
26
6279
September 17, 2018
Mem::uninitialized, `!` and trap representations
language design
55
7116
January 12, 2017
Terminology around unsafe, undefined behaviour, and invariants
Unsafe Code Guidelines
39
3150
July 24, 2020
Role of UB / uninitialized memory
Unsafe Code Guidelines
77
10088
January 9, 2018
Types as Contracts: Implementation and Evaluation
Unsafe Code Guidelines
19
3354
September 29, 2017