Merge branch 'topic/1166' into 'master'

Fix accept statement xref_equation

Closes #1166

See merge request eng/libadalang/libadalang!1488

ada/ast.py

@@ -22398,7 +22398,13 @@ def xref_equation():
         return And(
             Bind(Self.body_decl.name.ref_var, Entity.designated_entry),
             Entity.entry_index_expr.then(
-                lambda e: e.sub_equation,
+                lambda e:
+                # :rmlink:`9.5.2`: The expected type for entry_index_expr is
+                # that of the type defined by the definition of the
+                # corresponding entry declaration.
+                Bind(e.expected_type_var,
+                     Entity.designated_entry.family_type)
+                & e.sub_equation,
                 default_val=LogicTrue()
             )
         )

testsuite/tests/name_resolution/accept_stmt/test.adb

@@ -0,0 +1,15 @@
+procedure Test is
+   task t is
+      entry ent1 (character);
+   end t;
+
+   task body t is
+   begin
+      accept ent1 ('c') do
+         null;
+      end;
+      pragma Test_Statement;
+   end t;
+begin
+   null;
+end Test;

testsuite/tests/name_resolution/accept_stmt/test.out

@@ -0,0 +1,13 @@
+Analyzing test.adb
+##################
+
+Resolving xrefs for node <AcceptStmtWithStmts test.adb:8:7-10:11>
+*****************************************************************
+
+Expr: <Chr "'c'" test.adb:8:20-8:23>
+  references:    <SyntheticDefiningName "'c'" __standard:21:3-21:27>
+  type:          <ConcreteTypeDecl ["Character"] __standard:21:3-21:27>
+  expected type: <ConcreteTypeDecl ["Character"] __standard:21:3-21:27>
+
+
+Done.

testsuite/tests/name_resolution/accept_stmt/test.yaml

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