{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"Binder::bind_with_vars(inner,"}]}
        Binder::bind_with_vars(inner, bound_vars)
        let bound_vars = self.mk_bound_variable_kinds_from_iter(map.into_values());
    }