Skip to content

Rust: Do not let type info flow into a let statement identifier when … #20051

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

Closed
wants to merge 1 commit into from

Conversation

paldepind
Copy link
Contributor

@paldepind paldepind commented Jul 15, 2025

…the let statement is annotated.

Experiment to see what effect this has on DCA. Conclusion: not much.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Jul 15, 2025
@@ -250,6 +250,12 @@
result instanceof RangeToInclusiveStruct
}

/** A `let` statement with an annotation without any uses of the `_` type syntax. */

Check warning

Code scanning / CodeQL

Predicate QLDoc style. Warning

The QLDoc for a predicate without a result should start with 'Holds'.
@paldepind paldepind closed this Aug 2, 2025
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.

1 participant