{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
                                let obligation = traits::Obligation::new(
                                ));
                                    self.infcx.tcx,