Skip to content

Fewer redundant errors should propagate from a lowering error. #2417

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
Merged
merged 1 commit into from
May 16, 2025
Merged

Fewer redundant errors should propagate from a lowering error. #2417

merged 1 commit into from
May 16, 2025

Conversation

idavis
Copy link
Collaborator

@idavis idavis commented May 16, 2025

No description provided.

@idavis idavis self-assigned this May 16, 2025
@idavis idavis requested review from minestarks and swernli as code owners May 16, 2025 14:42
@idavis idavis requested a review from billti May 16, 2025 14:43
swernli
swernli approved these changes May 16, 2025
View reviewed changes
Copy link
Collaborator

@swernli swernli left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, going to file one follow up issue for the comment.

@swernli swernli mentioned this pull request May 16, 2025
Open
@idavis idavis added this pull request to the merge queue May 16, 2025
Merged via the queue into main with commit 858355c May 16, 2025
18 checks passed
@idavis idavis deleted the iadavis/dedup-lowering-errors branch May 16, 2025 16:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@swernli swernli swernli approved these changes

@minestarks minestarks Awaiting requested review from minestarks minestarks is a code owner

@billti billti Awaiting requested review from billti

Assignees

@idavis idavis

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@idavis @swernli