Skip to content

Rust: Fix minor typo in bound in comment #20289

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
Aug 26, 2025
Merged

Rust: Fix minor typo in bound in comment #20289

merged 1 commit into from
Aug 26, 2025

Conversation

paldepind
Copy link
Contributor

I think the 0 and i where intended to be the other way around.

@paldepind paldepind requested a review from a team as a code owner August 26, 2025 11:44
@Copilot Copilot AI review requested due to automatic review settings August 26, 2025 11:44
Copilot
Copilot AI reviewed Aug 26, 2025
View reviewed changes
Copy link
Contributor

@Copilot Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull Request Overview

This PR fixes a minor typo in a comment within the Rust type inference module. The comment contained an incorrect mathematical bound notation where i <=0 < n should have been 0 <= i < n.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Aug 26, 2025
@paldepind paldepind added no-change-note-required This PR does not need a change note and removed Rust Pull requests that update Rust code labels Aug 26, 2025
@paldepind paldepind requested a review from hvitved August 26, 2025 11:49
hvitved
hvitved approved these changes Aug 26, 2025
View reviewed changes
Copy link
Contributor

@hvitved hvitved left a comment

Choose a reason for hiding this comment

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

Thanks.

@paldepind paldepind merged commit 4ed0fb7 into main Aug 26, 2025
20 of 21 checks passed
@paldepind paldepind deleted the rust/typo-in-bound branch August 26, 2025 12:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

Copilot code review Copilot Copilot left review comments

@hvitved hvitved hvitved approved these changes

Assignees
No one assigned
Labels
no-change-note-required This PR does not need a change note
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@paldepind @hvitved