Unsafe Fields #273
Description
| Metadata | |
|---|---|
| Point of contact | @jswrenn |
| Team(s) | compiler, lang |
| Goal document | 2025h2/unsafe-fields |
Summary
Design and implement a mechanism for denoting when fields carry library safety invariants.
Tasks and status
- Discussion and moral support (lang
)
- Author RFC (@jhpratt, @jswrenn)
- Implementation (@veluca93, @jswrenn)
- Standard reviews (compiler
- Design meeting (lang
- RFC decision (lang
Note: we have updated the body to match the 2025h2 goal. Your original text is preserved below.
| Metadata | |
|---|---|
| Point of contact | @jswrenn |
| Team(s) | compiler, lang |
| Goal document | 2025h1/unsafe-fields |
Summary
Design and implement a mechanism for denoting when fields carry library safety invariants.
Tasks and status
Metadata
Metadata
Assignees
Type
Projects
Status