Rust Internals
Why even unused data needs to be valid
language design
mbrubeck
Split this topic
August 13, 2020, 2:37pm
29
6 posts were split to a new topic:
Memcpy and uninitialized memory
Memcpy and uninitialized memory
show post in topic
Related Topics
Topic
Replies
Views
Activity
Terminology around unsafe, undefined behaviour, and invariants
Unsafe Code Guidelines
39
2711
July 24, 2020
Make invalid primitive values that are not read valid
7
1870
March 25, 2019
Two Kinds of Invariants: Safety and Validity
Unsafe Code Guidelines
27
5260
March 25, 2019
Overflow checks and unsafe code
Unsafe Code Guidelines
10
1640
March 25, 2019
Idea: a path toward reducing the need for `unsafe` by making invariant machine checkable
language design
11
1286
April 15, 2023