no error when refining an overloaded method twice #1457

Open

Assignees

Labels

Milestone

opened

The typechecker does not complain if you refine the same overloaded version of a Java method twice.

Metadata

Assignees

gavinking

Labels

Type

No type

Projects

No projects

Milestone

1.2.1

Relationships

None yet

Development

No branches or pull requests