{"ast_node_type":"import","tokens":[{"end":52,"kind":"keyword","start":0,"text":"///"}]}
    /// map, and not the values) because the code in
    /// map. We use the "original" regions (i.e., the keys from the
    /// `process_registered_region_obligations` has some special-cased