{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"obligation.cause.span"}]}
                        obligation.cause.span = hir_self_ty.span;
                    {
                    }