{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// Record the region names generated for each region in the given
    /// MIR def so that we can reuse them later in help/error messages.