@@ -147,7 +147,7 @@ pub(crate) fn mk_eval_cx_to_read_const_val<'tcx>(
147
147
pub fn mk_eval_cx_for_const_val < ' tcx > (
148
148
tcx : TyCtxtAt < ' tcx > ,
149
149
typing_env : ty:: TypingEnv < ' tcx > ,
150
- val : mir:: ConstValue < ' tcx > ,
150
+ val : mir:: ConstValue ,
151
151
ty : Ty < ' tcx > ,
152
152
) -> Option < ( CompileTimeInterpCx < ' tcx > , OpTy < ' tcx > ) > {
153
153
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>(
167
167
ecx : & CompileTimeInterpCx < ' tcx > ,
168
168
op : & OpTy < ' tcx > ,
169
169
for_diagnostics : bool ,
170
- ) -> ConstValue < ' tcx > {
170
+ ) -> ConstValue {
171
171
// Handle ZST consistently and early.
172
172
if op. layout . is_zst ( ) {
173
173
return ConstValue :: ZeroSized ;
@@ -238,7 +238,7 @@ pub(super) fn op_to_const<'tcx>(
238
238
let alloc_id = prov. alloc_id ( ) ;
239
239
assert ! ( offset == abi:: Size :: ZERO , "{}" , msg) ;
240
240
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 }
242
242
}
243
243
Immediate :: Uninit => bug ! ( "`Uninit` is not a valid value for {}" , op. layout. ty) ,
244
244
} ,
@@ -250,7 +250,7 @@ pub(crate) fn turn_into_const_value<'tcx>(
250
250
tcx : TyCtxt < ' tcx > ,
251
251
constant : ConstAlloc < ' tcx > ,
252
252
key : ty:: PseudoCanonicalInput < ' tcx , GlobalId < ' tcx > > ,
253
- ) -> ConstValue < ' tcx > {
253
+ ) -> ConstValue {
254
254
let cid = key. value ;
255
255
let def_id = cid. instance . def . def_id ( ) ;
256
256
let is_static = tcx. is_static ( def_id) ;
0 commit comments