Merge branch 'topic/1106' into 'master'

Update rule to use new p_is_limited_type property. See merge request eng/libadalang/langkit-query-language!132
AdaCore · Nov 3, 2023 · 203be2e · 203be2e
2 parents 797bb23 + 2eed8af
commit 203be2e
Showing 1 changed file with 2 additions and 4 deletions.
diff --git a/lkql_checker/share/lkql/kp/KP-18701.lkql b/lkql_checker/share/lkql/kp/KP-18701.lkql
@@ -13,7 +13,5 @@ fun kp_18701(node) =
          # with default values
           and [d for d in type.f_discriminants.f_discr_specs.children
                           if d.f_default_expr != null]
-         # and is limited or has limited components
-          and (type.f_type_def.f_has_limited.p_as_bool() or
-               type is *(any stdlib.component_types is t@TypeDecl
-                         when t.f_type_def.f_has_limited.p_as_bool())))
+         # and is limited
+          and type.p_is_limited_type())