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

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

Merged
merged 11 commits into from
Mar 31, 2025

Conversation

redsun82
Copy link
Contributor

@redsun82 redsun82 commented Mar 27, 2025

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 paldepind and aibaars March 31, 2025 11:22
import codeql.rust.elements.StructExprField
import codeql.rust.elements.StructExprFieldList
import codeql.rust.elements.StructField
import codeql.rust.elements.StructFieldList

Check warning

Code scanning / CodeQL

Redundant import Warning

Redundant import, the module is already imported inside
codeql.rust.elements.Union
.
@redsun82 redsun82 marked this pull request as ready for review March 31, 2025 11:25
Copy link
Contributor

@aibaars aibaars 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 to me!

Copy link
Contributor

@paldepind paldepind left a comment

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
23 checks passed
@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.

3 participants