Rust Internals
Why even unused data needs to be valid
language design
system
Closed
November 11, 2020, 2:37pm
30
This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.
← previous page
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
5278
March 25, 2019
Overflow checks and unsafe code
Unsafe Code Guidelines
10
1651
March 25, 2019
Idea: a path toward reducing the need for `unsafe` by making invariant machine checkable
language design
11
1294
April 15, 2023