From: kennytm <kennytm@gmail.com>
Date: Tue, 6 Nov 2018 07:21:07 +0000 (+0800)
Subject: Rollup merge of #55689 - RalfJung:miri-immediate, r=oli-obk
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=8b3d9e5effaaeb19dfe13e82b3f238d43ec4c8b8;p=rust.git

Rollup merge of #55689 - RalfJung:miri-immediate, r=oli-obk

miri: binary_op_val -> binary_op_imm

Seems like this was overlooked during the value -> immediate rename.

r? @oli-obk
---

8b3d9e5effaaeb19dfe13e82b3f238d43ec4c8b8