File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed
AwsCryptographicMaterialProviders/runtimes/rust/src Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change 1010pub mod ConcurrentCall {
1111
1212 fn de_const (
13- p : * const dafny_runtime:: Object < ( dyn Callee + ' static ) > ,
14- ) -> * mut dafny_runtime:: Object < ( dyn Callee + ' static ) > {
13+ p : * const dafny_runtime:: Object < dyn Callee + ' static > ,
14+ ) -> * mut dafny_runtime:: Object < dyn Callee + ' static > {
1515 p as _
1616 }
1717
1818 pub struct FakeCallee {
19- callee : * const dafny_runtime:: Object < ( dyn Callee + ' static ) > ,
19+ callee : * const dafny_runtime:: Object < dyn Callee + ' static > ,
2020 }
2121 impl FakeCallee {
22- fn new ( callee : & dafny_runtime:: Object < ( dyn Callee + ' static ) > ) -> Self {
22+ fn new ( callee : & dafny_runtime:: Object < dyn Callee + ' static > ) -> Self {
2323 Self {
2424 callee : std:: ptr:: from_ref ( callee) ,
2525 }
2626 }
2727 fn call ( & self , x : u32 , y : u32 ) {
2828 let mptr = de_const ( self . callee ) ;
29- let value: & mut dafny_runtime:: Object < ( dyn Callee + ' static ) > = unsafe { & mut * mptr } ;
29+ let value: & mut dafny_runtime:: Object < dyn Callee + ' static > = unsafe { & mut * mptr } ;
3030 value. as_mut ( ) . call ( x, y) ;
3131 }
3232 }
@@ -37,7 +37,7 @@ pub mod ConcurrentCall {
3737 use crate :: ConcurrentCall :: Callee ;
3838 impl _default {
3939 pub fn ConcurrentCall (
40- callee : & dafny_runtime:: Object < ( dyn Callee + ' static ) > ,
40+ callee : & dafny_runtime:: Object < dyn Callee + ' static > ,
4141 serial_iters : u32 ,
4242 concurrent_iters : u32 ,
4343 ) {
You can’t perform that action at this time.
0 commit comments