https://gcc.gnu.org/g:eca63cc3b4d6280892dbdedae942ed49ffcc0b8c

commit r16-2983-geca63cc3b4d6280892dbdedae942ed49ffcc0b8c
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Fri Jul 25 17:19:14 2025 +0100

    gccrs: simplify the is_eq on ADTType
    
    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>

Diff:
---
 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 75370e96c662..4b4117bdb8dd 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;
        }

Reply via email to