{"ast_node_type":"variable","tokens":[{"end":47,"kind":"keyword","start":0,"text":"let"}]}
            let ty = self.insert_type_vars(ty);
        for (ty, pat) in param_tys.zip(&*self.body.params) {
            let ty = self.normalize_associated_types_in(ty);