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