Skip to content

Ycheck that non-Deferred methods are implemented #971

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
DarkDimius opened this issue Nov 23, 2015 · 0 comments
Closed

Ycheck that non-Deferred methods are implemented #971

DarkDimius opened this issue Nov 23, 2015 · 0 comments
Labels
exp:novice

Comments

@DarkDimius
Copy link
Contributor

The only methods I aware of that shouldn't be implemented are companion$ methods
jvican added a commit to dotty-jvican/dotty that referenced this issue Jun 28, 2016
@jvican
Add first check that ensures scala#971
2fa1695
jvican added a commit to dotty-jvican/dotty that referenced this issue Jun 28, 2016
@jvican
Add postcondition check that ensures scala#971
3e6d1da
@jvican jvican mentioned this issue Jun 28, 2016
Merged
jvican added a commit to dotty-jvican/dotty that referenced this issue Jun 29, 2016
@jvican
Add postcondition check that ensures scala#971
7ec564a
jvican added a commit to dotty-jvican/dotty that referenced this issue Jun 29, 2016
@jvican
Add postcondition check that ensures scala#971
f7a9957
@jvican jvican closed this as completed Jun 30, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
exp:novice
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@DarkDimius @jvican