Unsafe Fields

[nikomatsakis]

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

• Discussion and moral support (lang )
• Author RFC (@jhpratt)
• Implementation (@veluca93)
• Standard reviews (compiler )
• Design meeting (lang )
• Lang-team champion (lang )
• RFC decision (lang )

[nikomatsakis]

This issue is intended for status updates only.

For general questions or comments, please contact the owner(s) directly.

[jswrenn]

Key developments: In a Feb 19 Lang Team Design Meeting, we reached consensus that the MVP for unsafe fields should be limited to additive invariants.