{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"format!(\"Opaque_{:?}\","}]}
        format!("Opaque_{:?}", opaque_ty_id.0)
    fn opaque_type_name(&self, opaque_ty_id: chalk_ir::OpaqueTyId<Interner>) -> String {
    }