tests for RT #78748

Raku · Oct 2, 2011 · d7a95cb · d7a95cb
1 parent c47bf35
commit d7a95cb
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/S12-subset/subtypes.t b/S12-subset/subtypes.t
@@ -214,12 +214,15 @@ ok "x" !~~ NW1, 'subset declaration without where clause rejects wrong value';
     is $*call2, 1, 'level two subset checked (should succeed)';
 }
 
-# RT #75718
 {
     role R { };
     subset S of R;
+    # RT #75718
     nok 1 ~~ S, 'subsets of roles (1)';
      ok R ~~ S, 'subsets of roles (2)';
+
+    ok (R ~~ S) ~~ Bool, 'smart-matching a subset returns a Bool (1)';
+    ok (S ~~ R) ~~ Bool, 'smart-matching a subset returns a Bool (2)';
 }
 
 done;