{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"///"}]}
    /// during initialization. Relies on the `indices` map having been
    /// reference those regions from the `ParamEnv`. It is also used
    /// fully initialized.