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