doc role-autopunning

Author: gfldex

doc/Language/typesystem.pod6

@@ -524,6 +524,20 @@ C<X::Comp::AdHoc> will be thrown.
     CATCH { default { say .^name, ' ', .Str } }
     # OUTPUT«X::Comp::AdHoc Method 'overload-this' must be implemented by A because it is required by a role␤»
 
+=head3 Role auto-punning
+
+A role can be used instead of a class to created objects. Since roles can't
+exist at runtime, a class of the same name is created that will type check
+successful against the role.
+
+    role R { method m { say 'oi‽' } };
+    R.new.^mro.say;
+    # OUTPUT«((R) (Any) (Mu))␤»
+    say R.new.^mro[0].HOW.^name;
+    # OUTPUT«Perl6::Metamodel::ClassHOW␤»
+    say R.new ~~ R;
+    # OUTPUT«True␤»
+
 =head3 trait C<does>
 
 The trait C<does> can be applied to roles and classed providing compile time