https://gcc.gnu.org/g:1de1b6197d80c9f901928fa8333bae052113e904
commit r17-4295-g1de1b6197d80c9f901928fa8333bae052113e904 Author: Philip Herron <[email protected]> Date: Sun Aug 23 21:19:29 2026 +0100 gccrs: Add another trait filter to bounds probe gcc/rust/ChangeLog: * typecheck/rust-tyty-bounds.cc (TypeBoundPredicate::validate_type_implements_this): filter Signed-off-by: Philip Herron <[email protected]> Diff: --- 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 86aa06d2706d..8760eb1a0a84 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);
