# 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