Skip to content
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.

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

override checking of dependent method types broken #5033

Closed
scabug opened this issue Sep 27, 2011 · 3 comments
Closed

override checking of dependent method types broken #5033

scabug opened this issue Sep 27, 2011 · 3 comments
Assignees
Labels
Milestone

Comments

@scabug
Copy link

@scabug scabug commented Sep 27, 2011

this should compile, instead we get error: overriding method extract in trait PipExtractor of type (f: Fruit)f.Seed; method extract has incompatible type

trait Fruit {
  type Seed
}

trait PipExtractor {
  def extract(f: Fruit): f.Seed
}

trait LaserGuidedPipExtractor extends PipExtractor {
  def extract(f: Fruit): f.Seed
}
@scabug

This comment has been minimized.

Copy link
Author

@scabug scabug commented Sep 27, 2011

@scabug

This comment has been minimized.

Copy link
Author

@scabug scabug commented Oct 20, 2011

Commit Message Bot (anonymous) said:
(moors in r25860) 5033: align bound syms when comparing method types

can't believe I missed that one...

closes #5033

more complete test case to make sure the multi-arglist case works as well

no review

@scabug scabug closed this Oct 20, 2011
@scabug

This comment has been minimized.

Copy link
Author

@scabug scabug commented Jan 24, 2012

@soc said:
Could this be included in the 2.9.x branch?

@scabug scabug added the depmet label Apr 7, 2017
@scabug scabug added this to the 2.10.0-M1 milestone Apr 7, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Linked pull requests

Successfully merging a pull request may close this issue.

None yet
2 participants
You can’t perform that action at this time.