@@ -25,7 +25,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
25
25
26
26
let frame_count = this. active_thread_stack ( ) . len ( ) ;
27
27
28
- this. write_scalar ( Scalar :: from_target_usize ( frame_count. try_into ( ) . unwrap ( ) , this) , dest)
28
+ this. write_scalar ( Scalar :: from_target_usize ( frame_count. to_u64 ( ) , this) , dest)
29
29
}
30
30
31
31
fn handle_miri_get_backtrace (
@@ -70,7 +70,7 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
70
70
}
71
71
1 =>
72
72
for ( i, ptr) in ptrs. into_iter ( ) . enumerate ( ) {
73
- let offset = ptr_layout. size . checked_mul ( i. try_into ( ) . unwrap ( ) , this) . unwrap ( ) ;
73
+ let offset = ptr_layout. size . checked_mul ( i. to_u64 ( ) , this) . unwrap ( ) ;
74
74
75
75
let op_place = buf_place. offset ( offset, ptr_layout, this) ?;
76
76
@@ -158,11 +158,11 @@ pub trait EvalContextExt<'tcx>: crate::MiriInterpCxExt<'tcx> {
158
158
}
159
159
1 => {
160
160
this. write_scalar (
161
- Scalar :: from_target_usize ( name. len ( ) . try_into ( ) . unwrap ( ) , this) ,
161
+ Scalar :: from_target_usize ( name. len ( ) . to_u64 ( ) , this) ,
162
162
& this. project_field ( dest, 0 ) ?,
163
163
) ?;
164
164
this. write_scalar (
165
- Scalar :: from_target_usize ( filename. len ( ) . try_into ( ) . unwrap ( ) , this) ,
165
+ Scalar :: from_target_usize ( filename. len ( ) . to_u64 ( ) , this) ,
166
166
& this. project_field ( dest, 1 ) ?,
167
167
) ?;
168
168
}
0 commit comments