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; }