[gcc/devel/rust/master] toplevel: Add comment about running the collector twice

[Thomas Schwinge via Gcc-cvs]

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

commit b7615465e03b79804c10a021838a8705266933d0
Author: Arthur Cohen <arthur.co...@embecosm.com>
Date:   Tue Aug 22 17:29:56 2023 +0200

    toplevel: Add comment about running the collector twice
    
    gcc/rust/ChangeLog:
    
            * resolve/rust-toplevel-name-resolver-2.0.cc
            (TopLevel::insert_or_error_out): Add documentation comment.
            (TopLevel::go): Likewise.

Diff:
---
 gcc/rust/resolve/rust-toplevel-name-resolver-2.0.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/gcc/rust/resolve/rust-toplevel-name-resolver-2.0.cc 
b/gcc/rust/resolve/rust-toplevel-name-resolver-2.0.cc
index fbded3e49e18..b9d0bc7c0ac9 100644
--- a/gcc/rust/resolve/rust-toplevel-name-resolver-2.0.cc
+++ b/gcc/rust/resolve/rust-toplevel-name-resolver-2.0.cc
@@ -43,6 +43,9 @@ TopLevel::insert_or_error_out (const Identifier &identifier, 
const T &node,
 
   if (!result)
     {
+      // can we do something like check if the node id is the same? if it is 
the
+      // same, it's not an error, just the resolver running multiple times?
+
       rich_location rich_loc (line_table, loc);
       rich_loc.add_range (node_locations[result.error ().existing]);
 
@@ -54,6 +57,11 @@ TopLevel::insert_or_error_out (const Identifier &identifier, 
const T &node,
 void
 TopLevel::go (AST::Crate &crate)
 {
+  // we do not include builtin types in the top-level definition collector, as
+  // they are not used until `Late`. furthermore, we run this visitor multiple
+  // times in a row in a fixed-point fashion, so it would make the code
+  // responsible for this ugly and perfom a lot of error checking.
+
   for (auto &item : crate.items)
     item->accept_vis (*this);
 }