Use OnceLock instead of lazy_static for cfg_verify_core

verus-lang / verus

Verified Rust for low-level systems code

MIT License

1.15k stars 66 forks source link

Use OnceLock instead of lazy_static for cfg_verify_core #1126

Closed ouuan closed 4 months ago

ouuan commented 4 months ago

This avoids a dependency.

Also, #[cfg(verus_keep_ghost)] was not applied to lazy_static import, which introduced an unused import. Now this is fixed for the OnceLock import.