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
Type inference fails to find any common ancestor (higherKinds) #8882
Comments
Imported From: https://issues.scala-lang.org/browse/SI-8882?orig=1 |
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
Mar 14, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
Apr 24, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
Apr 25, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
Apr 25, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
Apr 25, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
joroKr21
added a commit
to joroKr21/scala
that referenced
this issue
May 26, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types. Improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
adriaanm
pushed a commit
to joroKr21/scala
that referenced
this issue
Aug 3, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types when merging type constructor arguments that are supplied for a type constructor parameter. This improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
adriaanm
pushed a commit
to scala/scala
that referenced
this issue
Aug 3, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types when merging type constructor arguments that are supplied for a type constructor parameter. This improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
adriaanm
pushed a commit
to joroKr21/scala
that referenced
this issue
Aug 6, 2018
When computing the `lub/glb` of HKTs take care to produce well-kinded types when merging type constructor arguments that are supplied for a type constructor parameter. This improves type inference. A few tests with `-Xstrict-inference` were changed. Other tests reveal a limitation of higher-kinded existentials. Fixes scala/bug#8882 and promotes scala/bug#10700 to an error.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The following code fails to compile due to what seems like incorrect type inference when two classes share a higher-kinded type ancestor.
The error:
The expected behaviour, I would think, would be to infer the type of Any, as it would for Seq(B, 42).
The text was updated successfully, but these errors were encountered: