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

Jump to bottom

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
@adriaanm
Labels
depmet
Milestone
2.10.0-M1

Comments

@scabug
Copy link

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
Copy link
Author

scabug commented Sep 27, 2011

Imported From: https://issues.scala-lang.org/browse/SI-5033?orig=1
Reporter: @adriaanm

@scabug
Copy link
Author

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 as completed Oct 20, 2011
@scabug
Copy link
Author

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
Assignees

@adriaanm adriaanm

Labels
depmet
Projects
None yet
Milestone
2.10.0-M1
Development

No branches or pull requests
2 participants
@adriaanm @scabug