diff options
| author | Ralf Jung <post@ralfj.de> | 2017-07-21 14:49:01 -0700 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2017-07-30 01:11:59 -0700 |
| commit | e869cf2be74372db55b64eb549f4dc0e6b5a667b (patch) | |
| tree | 0f1cf2eba8a6f9d30e9b207d02bf3f55f1a0f926 /src/librustc_mir/transform | |
| parent | 60096b9e8259ba227a0a85fc1a16dca5d3fd2217 (diff) | |
| download | rust-e869cf2be74372db55b64eb549f4dc0e6b5a667b.tar.gz rust-e869cf2be74372db55b64eb549f4dc0e6b5a667b.zip | |
make ValidationOperand generic so that we can reuse it in miri with a different Lvalue type
Diffstat (limited to 'src/librustc_mir/transform')
| -rw-r--r-- | src/librustc_mir/transform/add_validation.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs index 1fe16fb98f2..005d793cd8b 100644 --- a/src/librustc_mir/transform/add_validation.rs +++ b/src/librustc_mir/transform/add_validation.rs @@ -88,7 +88,7 @@ impl MirPass for AddValidation { let local_decls = mir.local_decls.clone(); // TODO: Find a way to get rid of this clone. /// Convert an lvalue to a validation operand. - let lval_to_operand = |lval: Lvalue<'tcx>| -> ValidationOperand<'tcx> { + let lval_to_operand = |lval: Lvalue<'tcx>| -> ValidationOperand<'tcx, Lvalue<'tcx>> { let (re, mutbl) = lval_context(&lval, &local_decls, tcx); let ty = lval.ty(&local_decls, tcx).to_ty(tcx); ValidationOperand { lval, ty, re, mutbl } |