class Steep::TypeInference::LocalVariableTypeEnv

def update(declared_types: self.declared_types, assigned_types: self.assigned_types, self_type: self.self_type)
  self.class.new(
    subtyping: subtyping,
    declared_types: declared_types,
    assigned_types: assigned_types,
    self_type: self_type
  )
end