{"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"///"}]}
///
/// In general, the compiler cannot determine at compile time whether a destructor will run or not.
/// At a high level, this pass refines Drop to only run the destructor if the