Comment on a few odd things that we should look at

Author: oli-obk

src/librustc_mir/interpret/eval_context.rs

@@ -770,6 +770,8 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
         // FIXME(oli-obk): make this check an assertion that it's not a static here
         // FIXME(RalfJ, oli-obk): document that `Place::Static` can never be anything but a static
         // and `ConstValue::Unevaluated` can never be a static
+        // FIXME(oli-obk, spastorino): the above FIXME is not true anymore, PlaceBase::Static does
+        // not exist anymore (except for promoteds but it's going away soon).
         let param_env = if self.tcx.is_static(gid.instance.def_id()) {
             ty::ParamEnv::reveal_all()
         } else {

src/librustc_mir/interpret/operand.rs

@@ -584,6 +584,8 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> {
                 throw_inval!(TooGeneric),
             ty::ConstKind::Unevaluated(def_id, substs) => {
                 let instance = self.resolve(def_id, substs)?;
+                // FIXME: don't use `const_eval_raw` for regular constants, instead use `const_eval`
+                // which immediately validates the result before we continue with it here.
                 return Ok(OpTy::from(self.const_eval_raw(GlobalId {
                     instance,
                     promoted: None,