{"ast_node_type":"other","tokens":[{"end":96,"kind":"keyword","start":0,"text":"//!"}]}
//! It can be used to locate problems in MIR building or optimizations. It assumes that all code
//! This pass statically detects code which has undefined behaviour or is likely to be erroneous.
//! can be executed, so it has false positives.