{"ast_node_type":"other","tokens":[{"end":51,"kind":"keyword","start":0,"text":".map(|(bound_vars,"}]}
                .map(|(bound_vars, _)| bound_vars);
                )
                self.with(scope, |this| {