show anonymous subsets

doc/Language/typesystem.pod6

@@ -565,4 +565,15 @@ will be checked against the given code object.
     CATCH { default { put .^name,': ', .Str } }
     # OUTPUT«X::TypeCheck::Assignment: Type check failed in assignment to $i; expected Positive but got Int (-42)␤ …»
 
+Subsets can be anonymous, allowing inline placements where a subset is required
+but a name is either needed or desireable.
+
+    my enum E1 <A B>;
+    my enum E2 <C D>;
+    sub g(@a where { .all ~~ subset :: where * ~~ E1|E2 } ) {
+        say @a
+    }
+    g([A, C]);
+    # OUTPUT«[A C]␤»
+
 =end pod