m

aws · Jan 23, 2025 · 6133b6e · 6133b6e
1 parent 8a3291b
commit 6133b6e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs b/AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs
@@ -21,7 +21,7 @@ pub mod SortedSets {
 
         pub fn SetToOrderedSequence<T: ::dafny_runtime::DafnyTypeEq>(
             elems: &::dafny_runtime::Set<::dafny_runtime::Sequence<T>>,
-            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool>,
+            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool + Send + Sync>,
         ) -> ::dafny_runtime::Sequence<::dafny_runtime::Sequence<T>> {
             let mut vec = elems.iter().cloned().collect::<Vec<_>>();
             vec.sort_by(|a, b| Self::order(a, b, less));
@@ -30,15 +30,15 @@ pub mod SortedSets {
 
         pub fn SetToOrderedSequence2<T: ::dafny_runtime::DafnyTypeEq>(
             elems: &::dafny_runtime::Set<::dafny_runtime::Sequence<T>>,
-            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool>,
+            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool + Send + Sync>,
         ) -> ::dafny_runtime::Sequence<::dafny_runtime::Sequence<T>> {
             Self::SetToOrderedSequence(elems, less)
         }
 
         fn order<T: ::dafny_runtime::DafnyTypeEq>(
             x: &::dafny_runtime::Sequence<T>,
             y: &::dafny_runtime::Sequence<T>,
-            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool>,
+            less: &::dafny_runtime::Rc<dyn Fn(&T, &T) -> bool + Send + Sync>,
         ) -> Ordering {
             let mut iter1 = x.iter();
             let mut iter2 = y.iter();