# File lib/type_checker.rb, line 867 def process_splat(exp) value = process exp.shift return t(:splat, value, Type.unknown) # TODO: probably value_list? end