You’re reading a draft of the Ferrocene Language Specification. Some parts of this document might be missing, incomplete or incorrect. Our aim is to have the specification ready by the end of 2022.

19. Unsafety

Legality Rules

19:1 Unsafety is the presence of unsafe operations in program text.

19:2 An unsafe operation is an operation that may result in undefined behavior that is not diagnosed as a static error. Unsafe operations are referred to as unsafe Rust.

19:3 The unsafe operations are:

19:10 An unsafe context is either an unsafe block or an unsafe function.

19:11 An unsafe operation shall be used only within an unsafe context.