Rust: Minor tweaks to certain type inference

[paldepind]

• Fixes a type inference inconsistency where multiple certain types could be inferred for the same node due to match ergonomics/binding modes in pattern matching.
• Makes inference of logical operators certain.
• Makes inference of range expression certain and adds support for the .. range.

[Copilot]

Pull Request Overview

This PR refines Rust type inference by addressing inconsistencies in pattern matching, making logical operators have certain type inference, and adding support for range expressions including the .. (RangeFull) operator.

• Fixes type inference inconsistency where multiple certain types could be inferred for the same node due to match ergonomics/binding modes in pattern matching
• Makes inference of logical operators and range expressions certain
• Adds support for the .. range expression (RangeFull)

Reviewed Changes

Copilot reviewed 5 out of 6 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
rust/ql/test/library-tests/type-inference/pattern_matching.rs	Adds test cases for tuple pattern matching on references to verify binding mode fixes
rust/ql/test/library-tests/type-inference/main.rs	Adds test for RangeFull range expression and minor struct formatting cleanup
rust/ql/lib/codeql/rust/internal/TypeInference.qll	Core type inference logic updates: restricts certain type equality to IdentPat, moves logical/range operators to certain inference, and adds LetExpr type equality
rust/ql/lib/codeql/rust/frameworks/stdlib/Stdlib.qll	Defines RangeFullStruct class for the core::ops::range::RangeFull type
rust/ql/lib/codeql/rust/elements/RangeExprExt.qll	Adds RangeFullExpr class to represent .. range expressions

[geoffw0]

Changes LGTM.

DCA