Skip to content

Rust: rename several entities to their more natural names#19137

Merged
redsun82 merged 11 commits into
mainfrom
redsun82/rust-renames
Mar 31, 2025
Merged

Rust: rename several entities to their more natural names#19137
redsun82 merged 11 commits into
mainfrom
redsun82/rust-renames

Conversation

@redsun82

@redsun82 redsun82 commented Mar 27, 2025

Copy link
Copy Markdown
Contributor

This renames several entities using terminology from the official rust grammar:

This required the ast generator to handle enum variant renames which it couldn't yet.

Commit by commit review is encouraged.

@github-actions github-actions Bot added the Rust Pull requests that update Rust code label Mar 27, 2025
@paldepind paldepind self-assigned this Mar 28, 2025
@redsun82 redsun82 force-pushed the redsun82/rust-renames branch from a228378 to 48e1cb7 Compare March 28, 2025 15:21
Base automatically changed from redsun82/codegen-rename-dbscheme to main March 31, 2025 10:01
@redsun82 redsun82 force-pushed the redsun82/rust-renames branch from 48e1cb7 to 87dc4cd Compare March 31, 2025 11:19
@redsun82 redsun82 requested review from aibaars and paldepind March 31, 2025 11:22
Comment thread rust/ql/lib/codeql/rust/elements.qll Outdated

Check warning

Code scanning / CodeQL

Redundant import

Redundant import, the module is already imported inside [codeql.rust.elements.Union](1).
@redsun82 redsun82 marked this pull request as ready for review March 31, 2025 11:25

@aibaars aibaars left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Looks good to me!

@paldepind paldepind left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

All the renames look great 👍

@redsun82 redsun82 merged commit 279e9e2 into main Mar 31, 2025
@redsun82 redsun82 deleted the redsun82/rust-renames branch March 31, 2025 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants