Apply minor changes

es-meta · Jul 3, 2023 · a47e674 · a47e674
1 parent 5a63535
commit a47e674
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/esmeta/analyzer/TypeSemantics.scala b/src/main/scala/esmeta/analyzer/TypeSemantics.scala
@@ -76,10 +76,10 @@ class TypeSemantics(
     // construct local type environment
     (for (((param, arg), idx) <- (params zip argsWithOptional).zipWithIndex)
       yield {
-        val argTy = removeAbsentTy(arg.ty)
         val expected = param.ty.ty match
           case _: UnknownTy => arg
           case paramTy: ValueTy =>
+            val argTy = removeAbsentTy(arg.ty)
             if (method && idx == 0) () /* ignore `this` for method-like calls */
             else if (!(argTy <= paramTy))
               val key = (callerNp, calleeRp, idx, param)