{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"bound.with_self_ty(cx,"}]}
                        bound.with_self_ty(cx, self_ty),
                        goal,
                    ));