1
1
use std:: cell:: RefCell ;
2
2
use std:: fmt;
3
- use std:: num:: NonZeroU64 ;
3
+ use std:: num:: NonZero ;
4
4
5
5
use log:: trace;
6
6
use smallvec:: SmallVec ;
@@ -13,22 +13,22 @@ use crate::*;
13
13
pub mod stacked_borrows;
14
14
pub mod tree_borrows;
15
15
16
- pub type CallId = NonZeroU64 ;
16
+ pub type CallId = NonZero < u64 > ;
17
17
18
18
/// Tracking pointer provenance
19
19
#[ derive( Copy , Clone , Hash , PartialEq , Eq , PartialOrd , Ord ) ]
20
- pub struct BorTag ( NonZeroU64 ) ;
20
+ pub struct BorTag ( NonZero < u64 > ) ;
21
21
22
22
impl BorTag {
23
23
pub fn new ( i : u64 ) -> Option < Self > {
24
- NonZeroU64 :: new ( i) . map ( BorTag )
24
+ NonZero :: new ( i) . map ( BorTag )
25
25
}
26
26
27
27
pub fn get ( & self ) -> u64 {
28
28
self . 0 . get ( )
29
29
}
30
30
31
- pub fn inner ( & self ) -> NonZeroU64 {
31
+ pub fn inner ( & self ) -> NonZero < u64 > {
32
32
self . 0
33
33
}
34
34
@@ -184,7 +184,7 @@ impl GlobalStateInner {
184
184
borrow_tracker_method,
185
185
next_ptr_tag : BorTag :: one ( ) ,
186
186
base_ptr_tags : FxHashMap :: default ( ) ,
187
- next_call_id : NonZeroU64 :: new ( 1 ) . unwrap ( ) ,
187
+ next_call_id : NonZero :: new ( 1 ) . unwrap ( ) ,
188
188
protected_tags : FxHashMap :: default ( ) ,
189
189
tracked_pointer_tags,
190
190
tracked_call_ids,
@@ -206,7 +206,7 @@ impl GlobalStateInner {
206
206
if self . tracked_call_ids . contains ( & call_id) {
207
207
machine. emit_diagnostic ( NonHaltingDiagnostic :: CreatedCallId ( call_id) ) ;
208
208
}
209
- self . next_call_id = NonZeroU64 :: new ( call_id. get ( ) + 1 ) . unwrap ( ) ;
209
+ self . next_call_id = NonZero :: new ( call_id. get ( ) + 1 ) . unwrap ( ) ;
210
210
FrameState { call_id, protected_tags : SmallVec :: new ( ) }
211
211
}
212
212
0 commit comments