{"ast_node_type":"variable","tokens":[{"end":67,"kind":"keyword","start":0,"text":"let"}]}
        let cause = ObligationCause::misc(span, self.mir_def_id());
        let ocx = ObligationCtxt::new_with_diagnostics(self.infcx);