fix: eliminate unwrap

erg-lang · Nov 26, 2024 · ded8ab5 · ded8ab5
1 parent 6abd289
commit ded8ab5
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/crates/erg_compiler/context/inquire.rs b/crates/erg_compiler/context/inquire.rs
@@ -2215,11 +2215,10 @@ impl Context {
                 }
                 nth += 1;
             }
-            for not_passed in subr
-                .default_params
-                .iter()
-                .filter(|pt| !passed_params.contains(pt.name().unwrap()))
-            {
+            for not_passed in subr.default_params.iter().filter(|pt| {
+                pt.name()
+                    .map_or(false, |name| !passed_params.contains(name))
+            }) {
                 if let ParamTy::KwWithDefault { ty, default, .. } = &not_passed {
                     if let Err(mut es) = self.sub_unify(default, ty, obj, not_passed.name()) {
                         errs.append(&mut es);