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.

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

Harden tpd.Apply/TypeApply in case of errors #16887

Merged
merged 1 commit into from
Feb 16, 2023

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Feb 11, 2023

Harden tpd.Apply/TypeApply in case of errors to accept non-sensical terms as functions.

Fixes #16861

Harden tpd.Apply/TypeApply in case of errors to accept non-sensical terms as
functions.

Fixes scala#16861
@odersky odersky marked this pull request as ready for review February 11, 2023 12:41
@nicolasstucki nicolasstucki 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 15, 2023
@nicolasstucki nicolasstucki 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
@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
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Feb 15, 2023
@Kordyjan Kordyjan merged commit 9b8db9f into scala:main Feb 16, 2023
@Kordyjan Kordyjan deleted the fix-16861 branch February 16, 2023 09:01
@Kordyjan Kordyjan added this to the 3.3.1 milestone Aug 1, 2023
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.

Literal null match error in ill-formed summon
3 participants