{"ast_node_type":"variable","tokens":[{"end":71,"kind":"keyword","start":0,"text":"let"}]}
                let array_ty = rvalue.ty(self.body.local_decls(), tcx);
            Rvalue::Repeat(operand, len) => {
                self.prove_predicate(