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