Fix argument matching to validate all args for non-strict functions

PiperOrigin-RevId: 828548887

Author: l46kok

runtime/src/main/java/dev/cel/runtime/ResolvedOverload.java

@@ -72,9 +72,10 @@ default boolean canHandle(Object[] arguments) {
       }
 
       if (arg instanceof Exception || arg instanceof CelUnknownSet) {
+        // Only non-strict functions can accept errors/unknowns as arguments to a function
         if (!isStrict()) {
-          // Only non-strict functions can accept errors/unknowns as arguments to a function
-          return true;
+          // Skip assignability check below, but continue to validate remaining args
+          continue;
         }
       }
 

runtime/src/test/java/dev/cel/runtime/CelResolvedOverloadTest.java

@@ -65,4 +65,35 @@ public void canHandle_nonMatchingTypes_returnsFalse() {
   public void canHandle_nonMatchingArgCount_returnsFalse() {
     assertThat(getIncrementIntOverload().canHandle(new Object[] {1L, 2L})).isFalse();
   }
+
+  @Test
+  public void canHandle_nonStrictOverload_returnsTrue() {
+    CelResolvedOverload nonStrictOverload =
+        CelResolvedOverload.of(
+            "non_strict",
+            (args) -> {
+              return false;
+            },
+            /* isStrict= */ false,
+            Long.class,
+            Long.class);
+    assertThat(
+            nonStrictOverload.canHandle(
+                new Object[] {new RuntimeException(), CelUnknownSet.create()}))
+        .isTrue();
+  }
+
+  @Test
+  public void canHandle_nonStrictOverload_returnsFalse() {
+    CelResolvedOverload nonStrictOverload =
+        CelResolvedOverload.of(
+            "non_strict",
+            (args) -> {
+              return false;
+            },
+            /* isStrict= */ false,
+            Long.class,
+            Long.class);
+    assertThat(nonStrictOverload.canHandle(new Object[] {new RuntimeException(), "Foo"})).isFalse();
+  }
 }