On: Verified Rust for low-level systems code

[tsujamin]

I’m not sure how rust-analyser works, but presumably you’d make the macro a no-op and just return the original tokens in debug builds