[gccrs COMMIT 05/17] gccrs: Add another trait filter to bounds probe

gerris.rs@gmail.com gerris.rs@gmail.com
Sun Aug 30 21:46:01 GMT 2026


From: Philip Herron <herron.philip@googlemail.com>

gcc/rust/ChangeLog:

	* typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::validate_type_implements_this): filter

Signed-off-by: Philip Herron <herron.philip@googlemail.com>
---
This change was merged into the gccrs repository and is posted here for
upstream visibility and potential drive-by review, as requested by GCC
release managers.
Each commit email contains a link to its details on github from where you can
find the Pull-Request and associated discussions.


Commit on github: https://github.com/Rust-GCC/gccrs/commit/e430371ee3371b09278fab5dffc625324e5c270d

The commit has NOT been mentioned in any issue.

The commit has been mentioned in the following pull-request(s):
 - https://github.com/Rust-GCC/gccrs/pull/4816

 gcc/rust/typecheck/rust-tyty-bounds.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/gcc/rust/typecheck/rust-tyty-bounds.cc b/gcc/rust/typecheck/rust-tyty-bounds.cc
index 86aa06d27..8760eb1a0 100644
--- a/gcc/rust/typecheck/rust-tyty-bounds.cc
+++ b/gcc/rust/typecheck/rust-tyty-bounds.cc
@@ -940,7 +940,8 @@ TypeBoundPredicate::validate_type_implements_this (TyTy::BaseType &self,
 						   HIR::Type &trait) const
 {
   const auto &ptref = *get ();
-  auto probed_bounds = Resolver::TypeBoundsProbe::Probe (&self);
+  auto probed_bounds
+    = Resolver::TypeBoundsProbe::Probe (&self, ptref.get_hir_trait_ref ());
   for (auto &elem : probed_bounds)
     {
       auto &tref = *(elem.first);
-- 
2.55.0



More information about the Gcc-rust mailing list