Merge branch 'mr/thevenoux/libadalang#1642' into 'master'

Fix rules after Libadalang update

See merge request eng/libadalang/langkit-query-language!603

Author: thvnx

lkql_checker/share/lkql/kp/kp_19625.lkql

@@ -1,7 +1,7 @@
-fun indexed_function_result_has_nonstatic_size(subprogram) = {
-    # To determine if a function is indexed, check that its return
-    # type has the Constant_Indexing user-defined aspect.
-    val returns = subprogram.f_subp_spec.p_returns();
+fun indexed_function_result_has_nonstatic_size(subprogram_spec) = {
+    # Check that indexed function's return type has the Constant_Indexing
+    # user-defined aspect.
+    val returns = subprogram_spec.p_returns();
     match returns.p_designated_type_decl()
     | t@BaseTypeDecl => t.p_has_aspect("Constant_Indexing")
                         and not returns.p_is_statically_constrained()
@@ -15,8 +15,8 @@ fun kp_19625(node) =
     # function call when the indexed function result has a nonstatic size.
     node is CallExpr(
         f_name: CallExpr(p_is_call(): true),
-        p_kind(): "array_index"
+        p_kind(): "generalized_indexing"
     )
     when indexed_function_result_has_nonstatic_size(
-        node.f_name.p_referenced_decl()
+        node.f_name.p_called_subp_spec()
     )

lkql_checker/share/lkql/positional_parameters.lkql

@@ -85,6 +85,7 @@ fun positional_parameters(node, all=false) =
     node is ParamAssoc(f_designator: null, parent: l@AssocList)
     when l.parent is c@CallExpr(
         p_is_call(): true,
+        p_kind(): not "generalized_indexing",
         f_name: not AttributeRef,
         f_name: id@*(p_is_operator_name(): false) when (
             all or should_be_named(node, c, id.p_is_dot_call())