I don't think the changes to genericize Execution does what we want https://github.com/apache/geode/pull/3715

scratch_38.java

import java.math.BigInteger;
import java.util.Collections;

import org.apache.geode.cache.execute.Execution;
import org.apache.geode.cache.execute.FunctionService;

class Scratch {
  public static void main(String[] args) {
    final Execution<String, String, String> execution = FunctionService.onRegion(null);
    
    //Add a string argument, which appears to be typesafe
    final Execution<String, String, String> addedArgument = execution.setArguments("hello");

    //But wait! If we call withFilter, we get to change the type of Execution with no warning
    //or casts. We won't see the class cast exceptions until runtime.
    final Execution<Integer, Integer, Integer> execution1 = execution.withFilter(Collections.singleton(5));
  }
}