class Steep::TypeInference::LocalVariableTypeEnv

def self.empty(subtyping:, self_type:)
  new(subtyping: subtyping, declared_types: {}, assigned_types: {}, self_type: self_type)
end