test for RT #76834

Raku · Oct 3, 2011 · 439f6e0 · 439f6e0
1 parent b518730
commit 439f6e0
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/S12-subset/subtypes.t b/S12-subset/subtypes.t
@@ -231,6 +231,12 @@ ok "x" !~~ NW1, 'subset declaration without where clause rejects wrong value';
     subset Many::Parts of Str;
     ok 'a' ~~ Many::Parts, 'subset names with many parts work';
 }
+
+{
+    subset Int::Positive of Int where { $_ > 0 };
+    sub f(Int::Positive $a) { $a * $a };
+    nok eval('f(-2)'), 'Cannot violate Int::Positive constraint';
+}
 done;
 
 # vim: ft=perl6