{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"span_stacks:"}]}
            span_stacks: self.span_stacks,
            kind: self.kind,
            ty: replace_placeholder_with_binder(ctx, ty),