From 2eed8af4acbfce37a89e42d6565c5d1754806ee3 Mon Sep 17 00:00:00 2001 From: Romain Beguet Date: Tue, 31 Oct 2023 16:46:25 +0100 Subject: [PATCH] Update rule to use new p_is_limited_type property. --- lkql_checker/share/lkql/kp/KP-18701.lkql | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/lkql_checker/share/lkql/kp/KP-18701.lkql b/lkql_checker/share/lkql/kp/KP-18701.lkql index 13154ea83..0c3543e4e 100644 --- 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())