@@ -152,7 +152,7 @@ pub(crate) fn mk_eval_cx_to_read_const_val<'tcx>(
152
152
pub fn mk_eval_cx_for_const_val < ' tcx > (
153
153
tcx : TyCtxtAt < ' tcx > ,
154
154
typing_env : ty:: TypingEnv < ' tcx > ,
155
- val : mir:: ConstValue < ' tcx > ,
155
+ val : mir:: ConstValue ,
156
156
ty : Ty < ' tcx > ,
157
157
) -> Option < ( CompileTimeInterpCx < ' tcx > , OpTy < ' tcx > ) > {
158
158
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>(
172
172
ecx : & CompileTimeInterpCx < ' tcx > ,
173
173
op : & OpTy < ' tcx > ,
174
174
for_diagnostics : bool ,
175
- ) -> ConstValue < ' tcx > {
175
+ ) -> ConstValue {
176
176
// Handle ZST consistently and early.
177
177
if op. layout . is_zst ( ) {
178
178
return ConstValue :: ZeroSized ;
@@ -243,7 +243,7 @@ pub(super) fn op_to_const<'tcx>(
243
243
let alloc_id = prov. alloc_id ( ) ;
244
244
assert ! ( offset == abi:: Size :: ZERO , "{}" , msg) ;
245
245
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 }
247
247
}
248
248
Immediate :: Uninit => bug ! ( "`Uninit` is not a valid value for {}" , op. layout. ty) ,
249
249
} ,
@@ -255,7 +255,7 @@ pub(crate) fn turn_into_const_value<'tcx>(
255
255
tcx : TyCtxt < ' tcx > ,
256
256
constant : ConstAlloc < ' tcx > ,
257
257
key : ty:: PseudoCanonicalInput < ' tcx , GlobalId < ' tcx > > ,
258
- ) -> ConstValue < ' tcx > {
258
+ ) -> ConstValue {
259
259
let cid = key. value ;
260
260
let def_id = cid. instance . def . def_id ( ) ;
261
261
let is_static = tcx. is_static ( def_id) ;
0 commit comments