{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
    // They can probably get removed with better treatment of the new `DropImpl`
    //
    // obligation cause code, and perhaps some custom logic in `report_region_errors`.