{"ast_node_type":"import","tokens":[{"end":91,"kind":"keyword","start":0,"text":"//!"}]}
//! useful because (unlike MIR building) it runs after type checking, so it can make use of
//! When the MIR is built, we check `needs_drop` before emitting a `Drop` for a place. This pass is
//! `TypingMode::PostAnalysis` to provide more precise type information, especially about opaque