diff --git a/rust/src/mlil/function.rs b/rust/src/mlil/function.rs
index 65bd09706..9dfab407b 100644
--- a/rust/src/mlil/function.rs
+++ b/rust/src/mlil/function.rs
@@ -415,22 +415,16 @@ impl MediumLevelILFunction {
     /// * `handle_aliases` - whether or not to handle aliases
     /// * `known_not_aliases` - optional list of variables known to be not aliased
     /// * `known_aliases` - optional list of variables known to be aliased
-    pub fn generate_ssa_form<V1, V2>(
+    pub fn generate_ssa_form(
         &self,
         analyze_conditionals: bool,
         handle_aliases: bool,
-        known_not_aliases: Option<V1>,
-        known_aliases: Option<V2>,
-    ) where
-        V1: IntoIterator<Item = Variable>,
-        V2: IntoIterator<Item = Variable>,
-    {
-        let mut known_not_aliases: Box<[_]> = known_not_aliases
-            .map(|x| x.into_iter().map(|x| x.raw()).collect())
-            .unwrap_or_default();
-        let mut known_aliases: Box<[_]> = known_aliases
-            .map(|x| x.into_iter().map(|x| x.raw()).collect())
-            .unwrap_or_default();
+        known_not_aliases: impl IntoIterator<Item = Variable>,
+        known_aliases: impl IntoIterator<Item = Variable>,
+    ) {
+        let mut known_not_aliases: Box<[_]> =
+            known_not_aliases.into_iter().map(|x| x.raw()).collect();
+        let mut known_aliases: Box<[_]> = known_aliases.into_iter().map(|x| x.raw()).collect();
         let (known_not_aliases_ptr, known_not_aliases_len) = if known_not_aliases.is_empty() {
             (core::ptr::null_mut(), 0)
         } else {