Rust: Const Eval (Un)Safety Rules

[NewsBot]

A new Rust blog post/announcement has been posted!

In a recent Rust issue (#99923), a developer noted that the upcoming 1.64-beta version of Rust had started signalling errors on their crate, icu4x. The icu4x crate uses unsafe code during const evaluation. Const evaluation, or just "const-eval", runs at compile-time but produces values that may end up embedded in the final object code that executes at runtime.

Rust's const-eval system supports both safe and unsafe Rust, but the rules for what unsafe code is allowed to do during const-eval are even more strict than what is allowed for unsafe code at runtime. This post is going to go into detail about one of those rules.

(Note: If your const code does not use any unsafe blocks or call any const fn with an unsafe block, then you do not need to worry about this!)</...

Get the full details here: Const Eval (Un)Safety Rules | Rust Blog

[bot]

Corresponding tweet for this thread:

Devtalk

Share link for this tweet.