From @masak

$ perl6 -e 'subset A of Parcel where { .elems > 5 }; subset B of A
where { .[5] == 42 }; (1, 2, 3) ~~ B'
Use of uninitialized value in numeric context in <anon> at line 1

The warning comes from the fact that B's where block is called, when
in fact it shouldn't since A's where block should be called, return
False, and prevent B's block from ever running.

Note that this ticket is caused entirely by the issue in #​78318... but
it was deemed that a separate ticket for this would be good, because
we probably don't have tests for the above.

From @kyleha

This is an automatically generated mail to inform you that tests are now available in S12-subset/subtypes.t

commit 98abe8e910d8782900204f085099f6bab906ea5c
Author​: Kyle Hasselbacher <kyleha@​gmail.com>
Date​: Thu Dec 23 14​:56​:49 2010 -0600

  [subtypes.t] Test for RT #​78322

diff --git a/S12-subset/subtypes.t b/S12-subset/subtypes.t
index a88130b..f1db1a0 100644
--- a/S12-subset/subtypes.t
+++ b/S12-subset/subtypes.t
@@ -190,6 +190,39 @@ ok "x" !~~ NW1, 'subset declaration without where clause rejects wrong value';
     is @*rt78318, <bug hunt>, 'code called when subtype built on subtype';
 }
 
+# RT #78322
+{
+    my $*call1;
+    my $*call2;
+
+    $*call1 = 0;$*call2 = 0;
+
+    subset RT78322 of Int     where { $*call1++; $^a == 78322 };
+    subset Bughunt of RT78322 where { $*call2++; ?1 };
+
+    $*call1 = 0;$*call2 = 0;
+    nok 22 ~~ RT78322, 'level one subset check is false';
+    is $*call1, 1, 'level one subset checked (should fail)';
+    is $*call2, 0, 'level two subset not checked';
+
+    #?rakudo 3 todo 'RT 78322'
+    $*call1 = 0;$*call2 = 0;
+    nok 22 ~~ Bughunt, 'overall subset check is false';
+    is $*call1, 1, 'level one subset checked (should fail)';
+    is $*call2, 0, 'level two subset not checked';
+
+    $*call1 = 0;$*call2 = 0;
+    ok 78322 ~~ RT78322, 'level one subset check is true';
+    is $*call1, 1, 'level one subset checked (should succeed)';
+    is $*call2, 0, 'level two subset not checked';
+
+    $*call1 = 0;$*call2 = 0;
+    ok 78322 ~~ Bughunt, 'overall subset check is true';
+    #?rakudo 2 todo 'RT 78322'
+    is $*call1, 1, 'level one subset checked (should succeed)';
+    is $*call2, 1, 'level two subset checked (should succeed)';
+}
+
 done_testing;
 
 # vim: ft=perl6

The RT System itself - Status changed from 'new' to 'open'

From @jnthn

On Sun Oct 10 16​:15​:54 2010, masak wrote​:

$ perl6 -e 'subset A of Parcel where { .elems > 5 }; subset B of A
where { .[5] == 42 }; (1, 2, 3) ~~ B'
Use of uninitialized value in numeric context in <anon> at line 1

The warning comes from the fact that B's where block is called, when
in fact it shouldn't since A's where block should be called, return
False, and prevent B's block from ever running.

Note that this ticket is caused entirely by the issue in #​78318... but
it was deemed that a separate ticket for this would be good, because
we probably don't have tests for the above.

Fixed probably when nom landed, tests added to cover it are already
running. Resolving.

/jnthn

@jnthn - Status changed from 'open' to 'resolved'