1
0
mirror of https://github.com/emilk/egui.git synced 2026-06-27 23:13:13 -04:00

Keep unsafe code forbidden when puffin is disabled (#3603)

This helps document what unsafe is being used for, and prevent other
uses from going unnoticed.
This commit is contained in:
YgorSouza
2023-11-22 20:37:46 +01:00
committed by GitHub
parent 63e48dc855
commit 4ece25bd05
5 changed files with 10 additions and 5 deletions

View File

@@ -22,7 +22,8 @@
#![allow(clippy::float_cmp)]
#![allow(clippy::manual_range_contains)]
#![deny(unsafe_code)]
#![cfg_attr(feature = "puffin", deny(unsafe_code))]
#![cfg_attr(not(feature = "puffin"), forbid(unsafe_code))]
mod bezier;
pub mod image;