Skip to content

Type bounds are not shown in type errors #9971

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
IndiscriminateCoding opened this issue Oct 8, 2020 · 0 comments · Fixed by #9979
Closed

Type bounds are not shown in type errors #9971

IndiscriminateCoding opened this issue Oct 8, 2020 · 0 comments · Fixed by #9979
Labels
itype:bug
Milestone
3.0.0

Comments

@IndiscriminateCoding
Copy link

Minimized code

trait G[F[_]]

def f(x: G[List]) = ???

def a: G[[A <: Int] =>> List[A]] = ???
def b = f(a)

Output

Found:    G[List]
Required: G[List]

Expectation

I expect type bound A <: Int to be shown in error messages so it wouldn't be so confusing
@nicolasstucki nicolasstucki mentioned this issue Oct 11, 2020
Merged
odersky added a commit to dotty-staging/dotty that referenced this issue Oct 11, 2020
@odersky
Fix scala#9971: Fix EtaExpansion unapply method
5e56416 
The unapply method of EtaExpansion was missing several necessary
conditions, which are now added:

 - parameters and arguments must have same length
 - bounds must conform
@nicolasstucki nicolasstucki linked a pull request Oct 12, 2020 that will close this issue
Fix #9958: Avoid eta contractions when printing #9979
Merged
nicolasstucki added a commit to dotty-staging/dotty that referenced this issue Oct 12, 2020
@nicolasstucki
Add test for scala#9971
37a7924
@Kordyjan Kordyjan added this to the 3.0.0 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
itype:bug
Projects
None yet
Milestone
3.0.0
Development

Successfully merging a pull request may close this issue.

Fix #9958: Avoid eta contractions when printing dotty-staging/dotty
3 participants
@smarter @Kordyjan @IndiscriminateCoding