@@ -21,7 +21,7 @@ use crate::*;
21
21
#[ derive( Debug , Copy , Clone ) ]
22
22
pub struct DynSym ( Symbol ) ;
23
23
24
- #[ allow ( clippy:: should_implement_trait) ]
24
+ #[ expect ( clippy:: should_implement_trait) ]
25
25
impl DynSym {
26
26
pub fn from_str ( name : & str ) -> Self {
27
27
DynSym ( Symbol :: intern ( name) )
@@ -648,7 +648,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
648
648
let val = this. read_scalar ( val) ?. to_i32 ( ) ?;
649
649
let num = this. read_target_usize ( num) ?;
650
650
// The docs say val is "interpreted as unsigned char".
651
- #[ allow ( clippy:: cast_sign_loss, clippy:: cast_possible_truncation) ]
651
+ #[ expect ( clippy:: cast_sign_loss, clippy:: cast_possible_truncation) ]
652
652
let val = val as u8 ;
653
653
654
654
// C requires that this must always be a valid pointer (C18 §7.1.4).
@@ -661,7 +661,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
661
661
. position ( |& c| c == val)
662
662
{
663
663
let idx = u64:: try_from ( idx) . unwrap ( ) ;
664
- #[ allow ( clippy:: arithmetic_side_effects) ] // idx < num, so this never wraps
664
+ #[ expect ( clippy:: arithmetic_side_effects) ] // idx < num, so this never wraps
665
665
let new_ptr = ptr. wrapping_offset ( Size :: from_bytes ( num - idx - 1 ) , this) ;
666
666
this. write_pointer ( new_ptr, dest) ?;
667
667
} else {
@@ -675,7 +675,7 @@ trait EvalContextExtPriv<'tcx>: crate::MiriInterpCxExt<'tcx> {
675
675
let val = this. read_scalar ( val) ?. to_i32 ( ) ?;
676
676
let num = this. read_target_usize ( num) ?;
677
677
// The docs say val is "interpreted as unsigned char".
678
- #[ allow ( clippy:: cast_sign_loss, clippy:: cast_possible_truncation) ]
678
+ #[ expect ( clippy:: cast_sign_loss, clippy:: cast_possible_truncation) ]
679
679
let val = val as u8 ;
680
680
681
681
// C requires that this must always be a valid pointer (C18 §7.1.4).
0 commit comments