Merge branch 'topic/492' into 'master'

Fix explicit_full_discrete_ranges rule

Closes #492

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

Author: thvnx

lkql_checker/share/lkql/explicit_full_discrete_ranges.lkql

@@ -24,4 +24,5 @@ fun explicit_full_discrete_ranges(node) =
     |"       for J in Idx loop
     |"          L := L + J;
     |"       end loop;
-    node is BinOp(f_op: OpDoubleDot) when full_range(node.f_left, node.f_right)
+    node is BinOp(parent: not RangeSpec, f_op: OpDoubleDot)
+    when full_range(node.f_left, node.f_right)

testsuite/tests/checks/explicit_full_discrete_ranges/explicit_full_discrete_ranges.ads

@@ -1,3 +1,8 @@
 package Explicit_Full_Discrete_Ranges is
+   type T1 is new Float range 1.0 .. 2.0;
+
+   type T2 is delta 0.1 range T1'First .. T1'Last;           -- NOFLAG
+   type T3 is delta 0.1 digits 7 range T1'First .. T1'Last;  -- NOFLAG
+
    procedure P;
 end Explicit_Full_Discrete_Ranges;