This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

refining method of Java superclass twice #6298

Closed

gavinking opened this issue Jun 6, 2016 · 1 comment

Assignees

Labels

m-typechecker t-bug

Milestone

Contributor

gavinking commented Jun 6, 2016 •

edited

Loading

The typechecker accepts this:

class V() extends Visitor() {
    shared actual void visit(Tree.AnnotationList? annotationList) {}
    shared actual void visit(Tree.AnnotationList? annotationList) {}
}

gavinking added the t-bug label

gavinking added this to the 1.2.3 milestone

gavinking self-assigned this

tombentley added the m-typechecker label

Contributor Author

gavinking commented Jul 19, 2016

Dupe of #4563.

gavinking closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.