Open gavinking opened 8 years ago
The typechecker does not complain if you refine the same overloaded version of a Java method twice.
The typechecker does not complain if you refine the same overloaded version of a Java method twice.