* @param type The type of the argument to the corresponding function.
* @return The type of the value returned from the corresponding function.
*/
public static Type maxReturnType(Type type) {
if (type instanceof ArrayType) {
ArrayType arrayType = (ArrayType) type;
return arrayType.getElementType();
} else {
return BaseType.UNKNOWN;
}
}