[gcc r16-2889] gccrs: Fix silly ordering bug in trait reference resolution

[Arthur Cohen via Gcc-cvs]

https://gcc.gnu.org/g:2746b97a7dafc27362ae88ae6824a3e05a03ed56

commit r16-2889-g2746b97a7dafc27362ae88ae6824a3e05a03ed56
Author: Philip Herron <herron.phi...@googlemail.com>
Date:   Fri Jun 20 18:21:30 2025 +0100

    gccrs: Fix silly ordering bug in trait reference resolution
    
    Ensure proper ordering when resolving trait references to prevent
    incorrect type resolution in certain contexts.
    
    gcc/rust/ChangeLog:
    
            * typecheck/rust-hir-trait-reference.cc 
(TraitReference::on_resolved): ensure associated
            types are done first
            * typecheck/rust-hir-type-check-type.cc: Update call site.
    
    gcc/testsuite/ChangeLog:
    
            * rust/compile/silly-order-bug.rs: New test.
    
    Signed-off-by: Philip Herron <herron.phi...@googlemail.com>

Diff:
---
 gcc/rust/typecheck/rust-hir-trait-reference.cc | 10 +++++++++-
 gcc/rust/typecheck/rust-hir-type-check-type.cc |  3 +--
 gcc/testsuite/rust/compile/silly-order-bug.rs  |  8 ++++++++
 3 files changed, 18 insertions(+), 3 deletions(-)

diff --git a/gcc/rust/typecheck/rust-hir-trait-reference.cc 
b/gcc/rust/typecheck/rust-hir-trait-reference.cc
index 83985f009893..88e270d510d2 100644
--- a/gcc/rust/typecheck/rust-hir-trait-reference.cc
+++ b/gcc/rust/typecheck/rust-hir-trait-reference.cc
@@ -342,7 +342,15 @@ TraitReference::on_resolved ()
 {
   for (auto &item : item_refs)
     {
-      item.on_resolved ();
+      if (item.get_trait_item_type ()
+         == TraitItemReference::TraitItemType::TYPE)
+       item.on_resolved ();
+    }
+  for (auto &item : item_refs)
+    {
+      if (item.get_trait_item_type ()
+         != TraitItemReference::TraitItemType::TYPE)
+       item.on_resolved ();
     }
 }
 
diff --git a/gcc/rust/typecheck/rust-hir-type-check-type.cc 
b/gcc/rust/typecheck/rust-hir-type-check-type.cc
index 18e04581ab83..f23352baacda 100644
--- a/gcc/rust/typecheck/rust-hir-type-check-type.cc
+++ b/gcc/rust/typecheck/rust-hir-type-check-type.cc
@@ -549,8 +549,7 @@ TypeCheckType::resolve_segments (
       bool selfResolveOk = false;
 
       if (first_segment && tySegIsBigSelf
-         && context->block_context ().is_in_context ()
-         && context->block_context ().peek ().is_impl_block ())
+         && context->block_context ().is_in_context ())
        {
          TypeCheckBlockContextItem ctx = context->block_context ().peek ();
          TyTy::BaseType *lookup = nullptr;
diff --git a/gcc/testsuite/rust/compile/silly-order-bug.rs 
b/gcc/testsuite/rust/compile/silly-order-bug.rs
new file mode 100644
index 000000000000..0d9cf1d8a884
--- /dev/null
+++ b/gcc/testsuite/rust/compile/silly-order-bug.rs
@@ -0,0 +1,8 @@
+#[lang = "sized"]
+trait Sized {}
+
+#[lang = "fn_once"]
+pub trait FnOnce<Args> {
+    extern "rust-call" fn call_once(self, args: Args) -> Self::Output;
+    type Output;
+}