# File lib/type_checker.rb, line 215
  def process_attrasgn(exp)
    rhs = process exp.shift
    name = exp.shift
    lhs = process exp.shift

    # TODO: since this is an ivar, we need to figger out their var system. :/
    return t(:attrasgn, rhs, name, lhs)
  end