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
27
6013
March 25, 2019
Mem::uninitialized, `!` and trap representations
language design
56
6883
March 25, 2019
Terminology around unsafe, undefined behaviour, and invariants
Unsafe Code Guidelines
40
3030
December 22, 2024
Role of UB / uninitialized memory
Unsafe Code Guidelines
78
9805
March 25, 2019
Types as Contracts: Implementation and Evaluation
Unsafe Code Guidelines
20
3289
March 25, 2019