Merge branch 'topic/1111' into 'master'

Filter out bodies when resolving generic renaming declarations

Closes #1111

See merge request eng/libadalang/libadalang!1435

ada/ast.py

@@ -11816,6 +11816,8 @@ class GenericRenamingDecl(BasicDecl):
         # which is not the case here.
         Entity.renaming_name.all_env_elements_internal(
             seq=True, seq_from=Self, categories=no_prims
+        ).filter(
+            lambda e: Not(e.is_a(Body))
         ).at(0)._.match(
             lambda gd=T.GenericDecl: gd,
             lambda grd=T.GenericRenamingDecl: grd.resolve,

testsuite/tests/name_resolution/generic_renaming_decl_3/test.adb

@@ -0,0 +1,10 @@
+with Test_2;
+
+procedure Test is
+   generic function Gen renames Test_2;
+
+   function Equals is new Gen (Integer);
+   pragma Test_Statement;
+begin
+   null;
+end Test;

testsuite/tests/name_resolution/generic_renaming_decl_3/test.out

@@ -0,0 +1,17 @@
+Analyzing test.adb
+##################
+
+Resolving xrefs for node <GenericSubpInstantiation ["Equals"] test.adb:6:4-6:41>
+********************************************************************************
+
+Expr: <Id "Gen" test.adb:6:27-6:30>
+  references:    <DefiningName "Test_2" test_2.ads:3:10-3:16>
+  type:          None
+  expected type: None
+Expr: <Id "Integer" test.adb:6:32-6:39>
+  references:    <DefiningName "Integer" __standard:4:8-4:15>
+  type:          None
+  expected type: None
+
+
+Done.

testsuite/tests/name_resolution/generic_renaming_decl_3/test.yaml

@@ -0,0 +1,2 @@
+driver: name-resolution
+input_sources: [test.adb]

testsuite/tests/name_resolution/generic_renaming_decl_3/test_2.adb

@@ -0,0 +1,4 @@
+function Test_2 (L, R : Operand_Type) return Boolean is
+begin
+   return L = R;
+end Test_2;

testsuite/tests/name_resolution/generic_renaming_decl_3/test_2.ads

@@ -0,0 +1,3 @@
+generic
+   type Operand_Type is private;
+function Test_2 (L, R : Operand_Type) return Boolean;