{"ast_node_type":"variable","tokens":[{"end":26,"kind":"keyword","start":0,"text":"let"}]}
            let sig = self
            let (a_sig, b_sig) = self.normalize(new.span, (a_sig, b_sig));
                .at(cause, self.param_env)