@@ -152,7 +152,7 @@ pub(crate) fn mk_eval_cx_to_read_const_val<'tcx>(
152152pub fn mk_eval_cx_for_const_val < ' tcx > (
153153 tcx : TyCtxtAt < ' tcx > ,
154154 typing_env : ty:: TypingEnv < ' tcx > ,
155- val : mir:: ConstValue < ' tcx > ,
155+ val : mir:: ConstValue ,
156156 ty : Ty < ' tcx > ,
157157) -> Option < ( CompileTimeInterpCx < ' tcx > , OpTy < ' tcx > ) > {
158158 let ecx = mk_eval_cx_to_read_const_val ( tcx. tcx , tcx. span , typing_env, CanAccessMutGlobal :: No ) ;
@@ -172,7 +172,7 @@ pub(super) fn op_to_const<'tcx>(
172172 ecx : & CompileTimeInterpCx < ' tcx > ,
173173 op : & OpTy < ' tcx > ,
174174 for_diagnostics : bool ,
175- ) -> ConstValue < ' tcx > {
175+ ) -> ConstValue {
176176 // Handle ZST consistently and early.
177177 if op. layout . is_zst ( ) {
178178 return ConstValue :: ZeroSized ;
@@ -243,7 +243,7 @@ pub(super) fn op_to_const<'tcx>(
243243 let alloc_id = prov. alloc_id ( ) ;
244244 assert ! ( offset == abi:: Size :: ZERO , "{}" , msg) ;
245245 let meta = b. to_target_usize ( ecx) . expect ( msg) ;
246- ConstValue :: Slice { alloc_id, meta, phantom : std :: marker :: PhantomData }
246+ ConstValue :: Slice { alloc_id, meta }
247247 }
248248 Immediate :: Uninit => bug ! ( "`Uninit` is not a valid value for {}" , op. layout. ty) ,
249249 } ,
@@ -255,7 +255,7 @@ pub(crate) fn turn_into_const_value<'tcx>(
255255 tcx : TyCtxt < ' tcx > ,
256256 constant : ConstAlloc < ' tcx > ,
257257 key : ty:: PseudoCanonicalInput < ' tcx , GlobalId < ' tcx > > ,
258- ) -> ConstValue < ' tcx > {
258+ ) -> ConstValue {
259259 let cid = key. value ;
260260 let def_id = cid. instance . def . def_id ( ) ;
261261 let is_static = tcx. is_static ( def_id) ;
0 commit comments