[krishnprakash/codeql] e60275: Rust: Refine `implSiblings`

[Phileco]

Branch: refs/heads/main
Home: https://github.com/krishnprakash/codeql
Commit: e60275c4ded23a5b0141d4db44462cb83e8c157b
https://github.com/krishnprakash/codeql/commit/e60275c4ded23a5b0141d4db44462cb83e8c157b
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-22 (Wed, 22 Apr 2026)

Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll

Log Message:
-----------
Rust: Refine `implSiblings`

Consider two implementations of the same trait to be siblings when the
type being implemented by one is an instantiation of the type being
implemented by the other.


Commit: cbc12324bb69b764eb4830bfbaefaa2b3026aa61
https://github.com/krishnprakash/codeql/commit/cbc12324bb69b764eb4830bfbaefaa2b3026aa61
Author: Tom Hvitved <hvi...@github.com>
Date: 2026-04-24 (Fri, 24 Apr 2026)

Changed paths:
M rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll

Log Message:
-----------
Merge pull request #21703 from hvitved/rust/type-inference-sibling

Rust: Refine `implSiblings`


Commit: be8c35ad8cd0f49dd62642dc5a35ef03e72e24bc
https://github.com/krishnprakash/codeql/commit/be8c35ad8cd0f49dd62642dc5a35ef03e72e24bc
Author: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Date: 2026-04-25 (Sat, 25 Apr 2026)

Changed paths:
M java/documentation/library-coverage/coverage.csv
M java/documentation/library-coverage/coverage.rst

Log Message:
-----------
Add changed framework coverage reports


Commit: 0daefb778b2f8736e538ad3973b13cd93b00b2eb
https://github.com/krishnprakash/codeql/commit/0daefb778b2f8736e538ad3973b13cd93b00b2eb
Author: Owen Mansel-Chan <62447351...@users.noreply.github.com>
Date: 2026-04-25 (Sat, 25 Apr 2026)

Changed paths:
M java/documentation/library-coverage/coverage.csv
M java/documentation/library-coverage/coverage.rst

Log Message:
-----------
Merge pull request #21755 from github/workflow/coverage/update

Update CSV framework coverage reports


Commit: 979225768bf1b4de5c257007f378c795828a7116
https://github.com/krishnprakash/codeql/commit/979225768bf1b4de5c257007f378c795828a7116
Author: Phileco <132178579+k...@users.noreply.github.com>
Date: 2026-04-25 (Sat, 25 Apr 2026)

Changed paths:
M java/documentation/library-coverage/coverage.csv
M java/documentation/library-coverage/coverage.rst
M rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll
M rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll
M rust/ql/test/library-tests/type-inference/regressions.rs
M rust/ql/test/library-tests/type-inference/type-inference.expected
M shared/typeinference/codeql/typeinference/internal/TypeInference.qll

Log Message:
-----------
Merge branch 'github:main' into main


Compare: https://github.com/krishnprakash/codeql/compare/81af40f406c7...979225768bf1

To unsubscribe from these emails, change your notification settings at https://github.com/krishnprakash/codeql/settings/notifications