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

inference regression with aliased existential #6014

Closed
scabug opened this issue Jul 2, 2012 · 7 comments
Closed

inference regression with aliased existential #6014

scabug opened this issue Jul 2, 2012 · 7 comments

Comments

@scabug
Copy link

scabug commented Jul 2, 2012

This almost has to be a duplicate of something, but I can't find it and it's bad, so opening until I or someone finds the duplicate. This compiles with 2.9.2.

object Test {
  case class CC[T](key: T)
  type Alias[T] = Seq[CC[T]]

  def f(xs: Seq[CC[_]]) = xs map { case CC(x) => CC(x) }    // ok
  def g(xs: Alias[_])   = xs map { case CC(x) => CC(x) }    // fails
  // ./a.scala:11: error: missing parameter type for expanded function
  // The argument types of an anonymous function must be fully known. (SLS 8.5)
  // Expected type was: ?
  //   def g(xs: Alias[_])   = xs map { case CC(x) => CC(x) }    // fails
  //                                  ^
  // one error found
}
@scabug
Copy link
Author

scabug commented Jul 2, 2012

Imported From: https://issues.scala-lang.org/browse/SI-6014?orig=1
Reporter: @paulp
See #5330, #4560

@scabug
Copy link
Author

scabug commented Jul 2, 2012

@retronym said:
My proposed fix for #5330 also cures this one, although the it's not immediately clear to me why that is.

https://github.com/retronym/scala/compare/ticket/5330-4

@scabug
Copy link
Author

scabug commented Aug 7, 2012

@adriaanm said:
scala/scala#1074

@scabug
Copy link
Author

scabug commented Aug 8, 2012

@adriaanm said:
demoting to major since it's too hard to fix properly for 2.10.0

@scabug
Copy link
Author

scabug commented Oct 21, 2012

@retronym said:
Regressed when a fix for #4560 was merged.

scala/scala@e956919

@scabug scabug closed this as completed Nov 16, 2012
@scabug
Copy link
Author

scabug commented Nov 16, 2012

@adriaanm said:
scala/scala#1624

@scabug
Copy link
Author

scabug commented Jan 8, 2013

@retronym said:
This was not fixed in 2.10.0, changing Fix Version to 2.10.1.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants