Refactor const_to_op

alexcrichton · Mar 6, 2019 · de4478a · de4478a
1 parent ed9227a
commit de4478a
Showing 1 changed file with 4 additions and 9 deletions.
diff --git a/src/librustc_mir/interpret/operand.rs b/src/librustc_mir/interpret/operand.rs
@@ -589,17 +589,12 @@ impl<'a, 'mir, 'tcx, M: Machine<'a, 'mir, 'tcx>> EvalContext<'a, 'mir, 'tcx, M>
         val: ty::Const<'tcx>,
         layout: Option<TyLayout<'tcx>>,
     ) -> EvalResult<'tcx, OpTy<'tcx, M::PointerTag>> {
+        let val = self.monomorphize(val)?;
         let layout = from_known_layout(layout, || {
-            let ty = self.monomorphize(val.ty)?;
-            self.layout_of(ty)
+            self.layout_of(val.ty)
         })?;
-        let val = match val.val {
-            ConstValue::Param(_) => self.monomorphize(val)?.val,
-            ConstValue::Infer(_) => bug!(),
-            val => val,
-        };
-        let op = match val {
-            ConstValue::Param(_) | ConstValue::Infer(_) => unreachable!(),
+        let op = match val.val {
+            ConstValue::Param(_) | ConstValue::Infer(_) => bug!(),
             ConstValue::ByRef(ptr, alloc) => {
                 // We rely on mutability being set correctly in that allocation to prevent writes
                 // where none should happen -- and for `static mut`, we copy on demand anyway.