Skip to content
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

Fix constraining against HKTypeLambda arguments #15688

Merged
merged 1 commit into from
Jul 18, 2022
Merged

Fix constraining against HKTypeLambda arguments #15688

merged 1 commit into from
Jul 18, 2022

Conversation

dwijnand
Copy link
Member

No description provided.

@dwijnand dwijnand linked an issue Jul 16, 2022 that may be closed by this pull request
Unused type parameter of kind * -> * doesn't allow proving subtyping of other type parameters #15677
Closed
@dwijnand dwijnand marked this pull request as ready for review July 16, 2022 18:28
@dwijnand dwijnand requested a review from abgruszecki July 16, 2022 18:29
@dwijnand dwijnand added this to the 3.2.0 backports milestone Jul 16, 2022
@abgruszecki abgruszecki merged commit 2f7c107 into scala:main Jul 18, 2022
@dwijnand dwijnand deleted the gadt/wildcards branch July 18, 2022 09:45
@Kordyjan Kordyjan added the backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" label Jul 26, 2022
@Kordyjan Kordyjan mentioned this pull request Jul 26, 2022
Merged
@Kordyjan Kordyjan added backport:done This PR was successfully backported. and removed backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" labels Jul 26, 2022
Kordyjan added a commit that referenced this pull request Jul 27, 2022
@Kordyjan
Merge pull request #15757 from dotty-staging/backport-15688
86aa1e4 
Backport #15688: Fix constraining against HKTypeLambda arguments
@Kordyjan Kordyjan modified the milestones: 3.2.0 backports, 3.2.1 Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@abgruszecki abgruszecki abgruszecki approved these changes

Assignees

@abgruszecki abgruszecki

Labels
backport:done This PR was successfully backported.
Projects
None yet
Milestone
3.2.1
Development

Successfully merging this pull request may close these issues.

Unused type parameter of kind * -> * doesn't allow proving subtyping of other type parameters
3 participants
@dwijnand @abgruszecki @Kordyjan