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

We dont need to do this resolve we can just let the ParamType's sort this
out.

gcc/rust/ChangeLog:

        * typecheck/rust-tyty.cc (ADTType::is_equal): let param::is_eq do this
        (FnType::is_equal): remove whitespace

Signed-off-by: Philip Herron <herron.phi...@googlemail.com>
---
 gcc/rust/typecheck/rust-tyty.cc | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/gcc/rust/typecheck/rust-tyty.cc b/gcc/rust/typecheck/rust-tyty.cc
index 75370e96c66..4b4117bdb8d 100644
--- a/gcc/rust/typecheck/rust-tyty.cc
+++ b/gcc/rust/typecheck/rust-tyty.cc
@@ -1820,9 +1820,7 @@ ADTType::is_equal (const BaseType &other) const
 
          const ParamType *aa = a.get_param_ty ();
          const ParamType *bb = b.get_param_ty ();
-         BaseType *aaa = aa->resolve ();
-         BaseType *bbb = bb->resolve ();
-         if (!aaa->is_equal (*bbb))
+         if (!aa->is_equal (*bb))
            return false;
        }
     }
@@ -2149,7 +2147,6 @@ FnType::is_equal (const BaseType &other) const
 
          const ParamType *pa = a.get_param_ty ();
          const ParamType *pb = b.get_param_ty ();
-
          if (!pa->is_equal (*pb))
            return false;
        }
-- 
2.49.0

Reply via email to