Skip to main content

UNVALIDATED

rustc_lint::ferrocene

Static UNVALIDATED 

Source 
pub static UNVALIDATED: &Lint
Expand description

The ferrocene::unvalidated lint detects verified code that calls unverified functions. This may result in unverified code running in a safety critical context.

This lint is a Ferrocene addition, and does not exist in upstream rustc.

This lint is allowed-by-default, to avoid loud warnings for people using Ferrocene as a “normal” compiler. To enable it, add #![warn(ferrocene::unvalidated)] to each crate in your build, or add it to [lints] in Cargo.toml.