Skip to content

Commit 16f5d20

Browse files
committed
Auto merge of #1132 - christianpoveda:use_scalar_to_u16, r=RalfJung
Use Scalar::to_u16 rust-lang/rust#67604 (comment) r? @RalfJung
2 parents 34d8ec8 + c60ab94 commit 16f5d20

File tree

2 files changed

+2
-3
lines changed

2 files changed

+2
-3
lines changed

rust-version

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
8f5f8f916f00f7989a4ebf7b7dbfe1afd605f828
1+
f564c4db0d97eabd7fdd72e589d3e415790ee2a4

src/shims/fs.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -283,8 +283,7 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
283283
None => return Ok(-1),
284284
};
285285

286-
// FIXME: use Scalar::to_u16
287-
let mode: u16 = metadata.mode.to_bits(Size::from_bits(16))? as u16;
286+
let mode: u16 = metadata.mode.to_u16()?;
288287

289288
let (access_sec, access_nsec) = metadata.accessed.unwrap_or((0, 0));
290289
let (created_sec, created_nsec) = metadata.created.unwrap_or((0, 0));

0 commit comments

Comments
 (0)