# File lib/type_checker.rb, line 251
  def process_block_arg(exp)
    t(:block_arg, exp.shift, Type.fucked)
  end