take back half-baked noaliasing check in Assignment

This commit is contained in:
Ralf Jung 2022-06-02 15:12:08 -04:00
parent 5e6bb83268
commit 7676f07d0e
2 changed files with 3 additions and 3 deletions

View file

@ -158,6 +158,8 @@ impl<'mir, 'tcx: 'mir, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
place: mir::Place<'tcx>,
) -> InterpResult<'tcx> {
let dest = self.eval_place(place)?;
// FIXME: ensure some kind of non-aliasing between LHS and RHS?
// Also see https://github.com/rust-lang/rust/issues/68364.
use rustc_middle::mir::Rvalue::*;
match *rvalue {