{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"///"}]}
    /// region to pass to `infer_opaque_definition_from_instantiation`.
    /// which has no `external_name` in which case we use `'{erased}` as the
    ///