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]>
---
 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 86aa06d2706..8760eb1a0a8 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.50.1

Reply via email to