[gccrs COMMIT 2/2] desugar-apit: Add missing visit to function sub items

From: Arthur Cohen <[email protected]>

When desugaring the Argument Position Impl Traits of a function, we still need to visit that
function's block and its items as it may contain other inner functions with other APITs.

gcc/rust/ChangeLog:

	* ast/rust-desugar-apit.cc (DesugarApit::visit): Call DefaultASTVisitor::visit
	on the function we're currently visiting.

gcc/testsuite/ChangeLog:

	* rust/compile/apit-in-inner-fn.rs: New test.
---
This change was merged into the gccrs repository and is posted here for
upstream visibility and potential drive-by review, as requested by GCC
release managers.
Each commit email contains a link to its details on github from where you can
find the Pull-Request and associated discussions.


Commit on github: https://github.com/Rust-GCC/gccrs/commit/016d4b958629cf944231fc56d6a4699d30f06467

The commit has NOT been mentioned in any issue.

The commit has been mentioned in the following pull-request(s):
 - https://github.com/Rust-GCC/gccrs/pull/4769

 gcc/rust/ast/rust-desugar-apit.cc              |  3 +++
 gcc/testsuite/rust/compile/apit-in-inner-fn.rs | 17 +++++++++++++++++
 2 files changed, 20 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/apit-in-inner-fn.rs

diff --git a/gcc/rust/ast/rust-desugar-apit.cc b/gcc/rust/ast/rust-desugar-apit.cc
index 25c89dc04..0e5739cd4 100644
--- a/gcc/rust/ast/rust-desugar-apit.cc
+++ b/gcc/rust/ast/rust-desugar-apit.cc
@@ -17,6 +17,7 @@
 // <http://www.gnu.org/licenses/>.
 
 #include "rust-desugar-apit.h"
+#include "rust-ast-visitor.h"
 #include "rust-ast.h"
 #include "rust-type.h"
 
@@ -524,6 +525,8 @@ DesugarApit::visit (AST::Function &function)
 				    function.get_generic_params ());
       processor.go (implicit_generics);
     }
+
+  DefaultASTVisitor::visit (function);
 }
 
 } // namespace AST
diff --git a/gcc/testsuite/rust/compile/apit-in-inner-fn.rs b/gcc/testsuite/rust/compile/apit-in-inner-fn.rs
new file mode 100644
index 000000000..7a32971db
--- /dev/null
+++ b/gcc/testsuite/rust/compile/apit-in-inner-fn.rs
@@ -0,0 +1,17 @@
+#![feature(no_core)]
+#![feature(lang_items)]
+#![feature(rustc_attrs)]
+#![no_core]
+
+#[lang = "sized"]
+trait Sized {}
+
+trait Foo {}
+
+pub struct Bar;
+
+impl Bar {
+    pub fn foo(b: impl Foo) {
+        fn inner(a: impl Foo) {}
+    }
+}
-- 
2.54.0