class Steep::TypeInference::TypeEnv

def merge!(original_env:, override_env:, self_type:, &block)
  original_env.merge!(override_env) do |name, original_type, override_type|
    assert_annotation name, annotated_type: override_type, original_type: original_type, self_type: self_type, &block
  end
end