RenamingProblem.txt

class SuperA
  def foo(): String
    "SuperA#foo()"
  end
end

class SuperB
  def foo(): String
    "SuperB#foo()"
  end
end

class Sub extends SuperA, SuperB
  rename SuperA.foo as foo2
end

# use SuperA
a: SuperA = SuperA.new
a.foo() # => SuperA#foo()
# substitute Sub for SuperA
# a: Sub = Sub.new
# a.foo() # => SuperB#foo() LSP violation ?