{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"//"}]}
    // When we encounter a DROP of some place P we only care
    // Compute the "maybe initialized" information for this body.
    // about the drop if `P` may be initialized.