# File lib/type_checker.rb, line 663 def process_ivar(exp) name = exp.shift var_type = @env.lookup name rescue nil if var_type.nil? then var_type = Type.unknown @env.add name, var_type end return t(:ivar, name, var_type) end