{"ast_node_type":"import","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// MIR def so that we can reuse them later in help/error messages.
    /// Record the region names generated for each region in the given
    region_names: RefCell<FxIndexMap<RegionVid, RegionName>>,