From @masak

<masak> rakudo​: subset Positive of Num where { $^n > 0 }; my Positive
$p; $p = -42
<p6eval> rakudo 0e8a86​: OUTPUT«Assignment type check failed; expected
, but got Int [...]
* masak submits rakudobug
<jnthn> bug?
<jnthn> oh, less than awesome error message
<masak> aye.

From @masak

<masak> rakudo​: subset Positive of Num where { $^n > 0 }; my Positive
$p; $p = -42
<p6eval> rakudo 5901f2​: OUTPUT«Assignment type check failed; expected
, but got Int [...]
<masak> I don't think I ever reported this one.
<masak> it's a "less than awesome error message" bug
* masak reports it now

From @kyleha

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

commit c1b879f2c8688410bf87081759a082bb80806eb7
Author​: kyle <kyle@​c213334d-75ef-0310-aa23-eaa082d1ae64>
Date​: Sat Aug 8 01​:43​:04 2009 +0000

  [t/spec] tests for RT #​67786
 
  git-svn-id​: http://svn.pugscode.org/pugs@&#8203;27897 c213334d-75ef-0310-aa23-eaa082d1ae64

diff --git a/t/spec/S02-polymorphic_types/subset.t b/t/spec/S02-polymorphic_types/subset.t
index b821643..3a75de6 100644
--- a/t/spec/S02-polymorphic_types/subset.t
+++ b/t/spec/S02-polymorphic_types/subset.t
@@ -1,6 +1,6 @@
 use v6;
 use Test;
-plan 29;
+plan 31;
 
 =begin description
 
@@ -120,4 +120,16 @@ eval_dies_ok 'my Digit $x = 3.1',
             'subset of Str where pattern in braces enforces pattern';
 }
 
+# RT #67786
+{
+    subset RT67786 of Int where { $^i > 0 }
+    my RT67786 $rt67786;
+
+    try { $rt67786 = -42 }
+
+    ok  $!  ~~ Exception, 'subset of Int enforces where clause';
+    #?rakudo todo 'RT #67786'
+    ok "$!" ~~ / RT67786 /, 'error for bad assignment mentions subset';
+}
+
 # vim: ft=perl6

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

@coke - Status changed from 'new' to 'open'

From @bbkr

NOM

bbkr​:nom bbkr$ ./perl6 -e 'subset Positive of Num where { $^n > 0 }; my
Positive $p; $p = -42'
Type check failed in assignment to '$p'; expected 'Positive' but got 'Int'

checking tests...

From @bbkr

Mentioned tests are unfudged and passing.

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