{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
                    let (params, ret) = fn_.split_params_and_ret();
                let substs = self.with_shifted_in(DebruijnIndex::ONE, |ctx| {
                    let mut subst = Vec::with_capacity(fn_.params.len());