@@ -147,7 +147,7 @@ pub(crate) fn mk_eval_cx_to_read_const_val<'tcx>(
147147pub fn mk_eval_cx_for_const_val < ' tcx > (
148148 tcx : TyCtxtAt < ' tcx > ,
149149 typing_env : ty:: TypingEnv < ' tcx > ,
150- val : mir:: ConstValue < ' tcx > ,
150+ val : mir:: ConstValue ,
151151 ty : Ty < ' tcx > ,
152152) -> Option < ( CompileTimeInterpCx < ' tcx > , OpTy < ' tcx > ) > {
153153 let ecx = mk_eval_cx_to_read_const_val ( tcx. tcx , tcx. span , typing_env, CanAccessMutGlobal :: No ) ;
@@ -167,7 +167,7 @@ pub(super) fn op_to_const<'tcx>(
167167 ecx : & CompileTimeInterpCx < ' tcx > ,
168168 op : & OpTy < ' tcx > ,
169169 for_diagnostics : bool ,
170- ) -> ConstValue < ' tcx > {
170+ ) -> ConstValue {
171171 // Handle ZST consistently and early.
172172 if op. layout . is_zst ( ) {
173173 return ConstValue :: ZeroSized ;
@@ -238,7 +238,7 @@ pub(super) fn op_to_const<'tcx>(
238238 let alloc_id = prov. alloc_id ( ) ;
239239 assert ! ( offset == abi:: Size :: ZERO , "{}" , msg) ;
240240 let meta = b. to_target_usize ( ecx) . expect ( msg) ;
241- ConstValue :: Slice { alloc_id, meta, phantom : std :: marker :: PhantomData }
241+ ConstValue :: Slice { alloc_id, meta }
242242 }
243243 Immediate :: Uninit => bug ! ( "`Uninit` is not a valid value for {}" , op. layout. ty) ,
244244 } ,
@@ -250,7 +250,7 @@ pub(crate) fn turn_into_const_value<'tcx>(
250250 tcx : TyCtxt < ' tcx > ,
251251 constant : ConstAlloc < ' tcx > ,
252252 key : ty:: PseudoCanonicalInput < ' tcx , GlobalId < ' tcx > > ,
253- ) -> ConstValue < ' tcx > {
253+ ) -> ConstValue {
254254 let cid = key. value ;
255255 let def_id = cid. instance . def . def_id ( ) ;
256256 let is_static = tcx. is_static ( def_id) ;
0 commit comments