{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
                    let generalized_fnptr_sig = self.next_ty_var(span);
                    //    behaviour of the old solver and would be technically a breaking change to fix.
                    let inferred_fnptr_sig = Ty::new_fn_ptr(self.tcx, inferred_sig.sig);