@@ -422,7 +422,7 @@ type_path_tail : '<' type_expr [ ',' type_expr ] + '>'
422
422
423
423
A _ path_ is a sequence of one or more path components _ logically_ separated by
424
424
a namespace qualifier (` :: ` ). If a path consists of only one component, it may
425
- refer to either an [ item] ( #items ) or a [ slot] ( #slot-declarations ) in a local
425
+ refer to either an [ item] ( #items ) or a [ slot] ( #memory-slots ) in a local
426
426
control scope. If a path has multiple components, it refers to an item.
427
427
428
428
Every item has a _ canonical path_ within its crate, but the path naming an
@@ -831,9 +831,9 @@ Here, `foo` imports `t`, but not `a`, `b`, and `c`.
831
831
A _ function item_ defines a sequence of [ statements] ( #statements ) and an
832
832
optional final [ expression] ( #expressions ) associated with a name and a set of
833
833
parameters. Functions are declared with the keyword ` fn ` . Functions declare a
834
- set of * input [ slots] ( #slot-declarations ) * as parameters, through which the
835
- caller passes arguments into the function, and an * output
836
- [ slot] ( #slot-declarations ) * through which the function passes results back to
834
+ set of * input* [ * slots* ] ( #memory-slots ) as parameters, through which the
835
+ caller passes arguments into the function, and an * output*
836
+ [ * slot* ] ( #memory-slots ) through which the function passes results back to
837
837
the caller.
838
838
839
839
A function may also be copied into a first class * value* , in which case the
@@ -1251,8 +1251,8 @@ laid out in the same order.
1251
1251
1252
1252
### Traits
1253
1253
1254
- A _ trait item_ describes a set of method types. _ [ implementation
1255
- items ] ( #implementations ) _ can be used to provide implementations of
1254
+ A _ trait item_ describes a set of method types. [ _ implementation
1255
+ items _ ] ( #implementations ) can be used to provide implementations of
1256
1256
those methods for a specific type.
1257
1257
1258
1258
~~~~
@@ -1624,7 +1624,7 @@ rec_expr : '{' ident ':' expr
1624
1624
[ "with" expr ] '}'
1625
1625
~~~~~~~~
1626
1626
1627
- A _ [ record ] ( #record-types ) expression _ is one or more comma-separated
1627
+ A [ _ record _ ] ( #record-types ) _ expression _ is one or more comma-separated
1628
1628
name-value pairs enclosed by braces. A fieldname can be any identifier
1629
1629
(including keywords), and is separated from its value expression by a
1630
1630
colon. To indicate that a field is mutable, the ` mut ` keyword is
@@ -1689,7 +1689,7 @@ expression on the left of the dot.
1689
1689
vec_expr : '[' "mut" ? [ expr [ ',' expr ] * ] ? ']'
1690
1690
~~~~~~~~
1691
1691
1692
- A _ [ vector ] ( #vector-types ) expression _ is written by enclosing zero or
1692
+ A [ _ vector _ ] ( #vector-types ) _ expression _ is written by enclosing zero or
1693
1693
more comma-separated expressions of uniform type in square brackets.
1694
1694
The keyword ` mut ` can be written after the opening bracket to
1695
1695
indicate that the elements of the resulting vector may be mutated.
0 commit comments