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

Add missing criterion to subtype check #16889

Merged
merged 1 commit into from
Feb 15, 2023
Merged

Add missing criterion to subtype check #16889

merged 1 commit into from
Feb 15, 2023

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Feb 11, 2023

Fixes #16850

@odersky odersky added this to the 3.3.0 backports milestone Feb 11, 2023
@Kordyjan Kordyjan added the backport:accepted This PR needs to be backported, once it's been backported replace this tag by "backport:done" label Feb 13, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 13, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 13, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 13, 2023
@Kordyjan Kordyjan removed this pull request from the merge queue due to a manual request Feb 13, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 13, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 13, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 14, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 14, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 14, 2023
@Kordyjan Kordyjan removed this pull request from the merge queue due to a manual request Feb 14, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 15, 2023
@Kordyjan Kordyjan removed this pull request from the merge queue due to the queue being cleared Feb 15, 2023
@Kordyjan Kordyjan added this pull request to the merge queue Feb 15, 2023
Merged via the queue into scala:main with commit 006e2e4 Feb 15, 2023
@Kordyjan Kordyjan deleted the fix-16850 branch February 15, 2023 11:10
@Kordyjan Kordyjan mentioned this pull request Feb 17, 2023
Merged
Kordyjan added a commit that referenced this pull request Feb 17, 2023
@Kordyjan
Backport "Add missing criterion to subtype check" (#16948)
a9e4da9 
Backports #16889
@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 Feb 17, 2023
@Kordyjan Kordyjan modified the milestones: 3.3.0 backports, 3.3.1, 3.3.0 Aug 1, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@dwijnand dwijnand dwijnand approved these changes

Assignees
No one assigned
Labels
backport:done This PR was successfully backported.
Projects
None yet
Milestone
3.3.0
Development

Successfully merging this pull request may close these issues.

Type parameter defines type member under inheritance with Scala 3.2.2 ?
3 participants
@odersky @dwijnand @Kordyjan