link to trait of

Author: gfldex

doc/Language/containers.pod6

@@ -281,7 +281,7 @@ maps over a list of three elements, not of one.
 
 =head1 Type Constraints
 
-Any container can have a type constraint in form of a L<type object|/language/typesystem#Type_objects> or a L<subset|/language/typesystem#subset>. Both can be place inbetween a declarator and the variable name or after the trait C<of>. The constraint is a property of the container, not the variable. Any (re-)binding may change the type constraint or remove the constraint altogether if bound to a value instead of a container. Introspection of type constraints on containers is provided by C<.VAR.of>.
+Any container can have a type constraint in form of a L<type object|/language/typesystem#Type_objects> or a L<subset|/language/typesystem#subset>. Both can be place inbetween a declarator and the variable name or after the trait L<of|/type/Variable#trait_is_dynamic>. The constraint is a property of the container, not the variable. Any (re-)binding may change the type constraint or remove the constraint altogether if bound to a value instead of a container. Introspection of type constraints on containers is provided by C<.VAR.of>.
 
     EVAL ‚my $i = 42; say $i.VAR.of; $i := "forty plus two"; say $i.VAR.of;‘;
     CATCH { default { say .^name, ' ', .Str } }

doc/Language/variables.pod6

@@ -844,7 +844,9 @@ unsuccessfully, resetting the answer to 42.
 =head1 Type Constraints and Initialization
 
 Variables have a type constraint via the L<container|/language/containers> they
-are bound to, which goes between the declarator and the variable name. The default type constraint is L<Mu|/type/Mu>
+are bound to, which goes between the declarator and the variable name. The
+default type constraint is L<Mu|/type/Mu>. You can also use the trait
+L<of|/type/Variable#trait_of> to set a type contraint.
 
     my Int $x = 42;
     $x = 'a string';