add missing semantic check: varargs arguments must have object type (= not void)