From: Philip Herron <[email protected]>

gcc/rust/ChangeLog:

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

Signed-off-by: Philip Herron <[email protected]>
---
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

Reply via email to