Skip to content

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