{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":")"}]}
    ) -> String {
        trait_def_id: DefId,
        self.trait_path(span, expr_hir_id, trait_def_id).unwrap_or_else(|| {