Use impl Trait instead of a generic type argument

potassco · Dec 1, 2023 · cb25ed4 · cb25ed4
1 parent d7d352a
commit cb25ed4
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/src/convenience/apply/mod.rs b/src/convenience/apply/mod.rs
@@ -1,16 +1,14 @@
 use crate::syntax_tree::fol::Formula;
 
 pub trait Apply {
-    fn apply<F>(self, f: &mut F) -> Self
+    fn apply(self, f: &mut impl FnMut(Self) -> Self) -> Self
     where
-        F: FnMut(Self) -> Self,
         Self: Sized;
 }
 
 impl Apply for Formula {
-    fn apply<F>(self, f: &mut F) -> Self
+    fn apply(self, f: &mut impl FnMut(Self) -> Self) -> Self
     where
-        F: FnMut(Self) -> Self,
         Self: Sized,
     {
         let inner = match self {