Skip to content

Simplify isUseParam logic#26258

Closed
odersky wants to merge 1 commit into
scala:mainfrom
dotty-staging:drop-reserve
Closed

Simplify isUseParam logic#26258
odersky wants to merge 1 commit into
scala:mainfrom
dotty-staging:drop-reserve

Conversation

@odersky

@odersky odersky commented Jun 8, 2026

Copy link
Copy Markdown
Contributor
  • Drop @reserve annotation.
  • The used parameters are now precisely the capset parameters.

The idea is that we can obtain delayed usage by placing capset parameters later in a curried parameter sequence. No other provisions are needed. This simplifies the logic and explanation and avoids corner cases where we need something to be used but the previous logic did not recognize it as such.

Supersedes #26254

 - Drop `@reserve` annotation.
 - The used parameters are now precisely the capset parameters.

The idea is that we can obtain delayed usage by placing capset parameters later]in a curried parameter sequence.
No other provisions are needed. This simplifies the logic and explanation and avoids corner cases where we need
something to be used but the previous logix dod not recognize it as such.
@odersky odersky requested a review from a team as a code owner June 8, 2026 09:14
@odersky odersky mentioned this pull request Jun 8, 2026
@odersky odersky requested a review from natsukagami June 8, 2026 09:15
@odersky

odersky commented Jun 9, 2026

Copy link
Copy Markdown
Contributor Author

This was now integrated in #26246

@odersky odersky closed this Jun 9, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants