{"ast_node_type":"other","tokens":[{"end":52,"kind":"keyword","start":0,"text":"self.fcx.instantiate_binder_with_fresh_vars("}]}
        self.fcx.instantiate_binder_with_fresh_vars(
    {
            self.span,