Skip to content

with should not be reported unless -strict #2379

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
felixmulder opened this issue May 5, 2017 · 0 comments
Closed

with should not be reported unless -strict #2379

felixmulder opened this issue May 5, 2017 · 0 comments
Labels
area:reporting Error reporting including formatting, implicit suggestions, etc exp:novice help wanted itype:enhancement

Comments

@felixmulder
Copy link
Contributor

With is deprecated when it comes to types in Dotty. But for compatibility, it is extremely annoying to see thousands of warnings for use & instead of with.
@felixmulder felixmulder added area:reporting Error reporting including formatting, implicit suggestions, etc exp:novice help wanted itype:enhancement labels May 5, 2017
felixmulder added a commit that referenced this issue May 5, 2017
@felixmulder
Merge pull request #2380 from dotty-staging/fix-@2379
e67ff61 
Fix #2379: Deprecate `with` in types only under -strict
odersky added a commit to dotty-staging/dotty that referenced this issue May 9, 2017
@odersky
Fix scala#2379: Upgrade hasMatchingMember
86a8101 
The previous "self-referential" special case needs to be generalized.
The fix caused some changes elsewhere.

 - `t5279` now fails with an overloading ambiguity, which is expected.

 - pattern matching code generation failed in 3 tests, had to be
   upgraded. The errors did not trigger before because instances of
   unapply type parameters were coarser.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
area:reporting Error reporting including formatting, implicit suggestions, etc exp:novice help wanted itype:enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@felixmulder