Skip to content

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

Closed
paldepind wants to merge 1 commit intogithub:mainfrom
paldepind:rust/one-way-let
Closed

Rust: Do not let type info flow into a let statement identifier when …#20051
paldepind wants to merge 1 commit intogithub:mainfrom
paldepind:rust/one-way-let

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
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