Skip to content

Mark the type of lifted definitions as inferred #24104

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
Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open

Mark the type of lifted definitions as inferred #24104

wants to merge 3 commits into from
+47 −2

Conversation

noti0na1
Copy link
Member

@noti0na1 noti0na1 commented Sep 28, 2025 •
edited
Loading

Fix #24100 #24101 #24102

The capture set from lifted arguments was not removed correctly.

  • Mark the type of lifted definitions as inferred
  • Don't make overriding types declared when cc is not enabled

@noti0na1 noti0na1 changed the title Fix #24101: Mark the type of lifted definitions as inferred Mark the type of lifted definitions as inferred Sep 28, 2025
@noti0na1 noti0na1 marked this pull request as ready for review September 28, 2025 23:59
@noti0na1 noti0na1 requested a review from odersky September 29, 2025 00:36
@WojciechMazur WojciechMazur linked an issue Sep 29, 2025 that may be closed by this pull request
Regression in sangria-graphql/sangria for constructing case class instance #24102
Open
@noti0na1 noti0na1 mentioned this pull request Sep 29, 2025
Open
@noti0na1 noti0na1 linked an issue Sep 29, 2025 that may be closed by this pull request
Regression for copy method referring to lazy vals and Scala collections #24101
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@odersky odersky Awaiting requested review from odersky

At least 1 approving review is required to merge this pull request.

Assignees

@odersky odersky

Labels
None yet
Projects
None yet
Milestone
No milestone
2 participants
@noti0na1 @odersky