{"ast_node_type":"variable","tokens":[{"end":66,"kind":"keyword","start":0,"text":"let"}]}
            let mut all_obligations = PredicateObligations::new();
        self.commit_if_ok(|_| {
            let supplied_sig = self.instantiate_binder_with_fresh_vars(